diff options
| author | Paul Gierz <pgierz@awi.de> | 2018-09-07 12:52:21 +0300 |
|---|---|---|
| committer | Paul Gierz <pgierz@awi.de> | 2018-09-07 12:52:21 +0300 |
| commit | 735994f82ea47118aa31278af1c9a596d35469ed (patch) | |
| tree | 77703b003ac11b35db1c404f80d179cecb33d9aa /functions | |
| parent | 358c105de7aa5e8109788adf65c08c44e368d418 (diff) | |
Fix for #974
Diffstat (limited to 'functions')
| -rwxr-xr-x | functions/utilities.zsh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/functions/utilities.zsh b/functions/utilities.zsh index 127007fb..cedf5493 100755 --- a/functions/utilities.zsh +++ b/functions/utilities.zsh @@ -102,7 +102,9 @@ case $(uname) in ;; Linux) OS='Linux' - os_release_id="$(grep -E '^ID=([a-zA-Z]*)' /etc/os-release | cut -d '=' -f 2)" + if [ -f /etc/os-release ]; then + os_release_id="$(grep -E '^ID=([a-zA-Z]*)' /etc/os-release | cut -d '=' -f 2)" + fi case "$os_release_id" in *arch*) OS_ICON=$(print_icon 'LINUX_ARCH_ICON') |