Merge pull request #981 from pgierz/os_release_fix

[Bugfix] Fix for #974
pull/22/head
Dominik Ritter 6 years ago committed by GitHub
commit 6ccdfdf37e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -102,7 +102,9 @@ case $(uname) in
;; ;;
Linux) Linux)
OS='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
[[ ${(f)"$((</etc/os-release) 2>/dev/null)"} =~ "ID=([A-Za-z]+)" ]] && os_release_id="${match[1]}"
fi
case "$os_release_id" in case "$os_release_id" in
*arch*) *arch*)
OS_ICON=$(print_icon 'LINUX_ARCH_ICON') OS_ICON=$(print_icon 'LINUX_ARCH_ICON')

Loading…
Cancel
Save