From 397bb7df5a683d4bd746ca8d771d2627c96af204 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 23 Nov 2021 08:59:55 +0000 Subject: [PATCH] Fix error from multiple values --- roles/home-gui/files/gnome-setup.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 56ff1d6..d6e0c5d 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -54,7 +54,8 @@ set_gnome_extensions () { # gnome-extensions not installed. return fi - if [ $(. /etc/os-release && echo ${ID_LIKE:-none}) == "*rhel*" ] + # Bash-specific test. + if [[ "$(. /etc/os-release && echo ${ID_LIKE:-none})" == *rhel* ]] then dashtodock=dash-to-dock@gnome-shell-extensions.gcampax.github.com else