ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Handle extension name being different on RHEL/CentOS

Browse source
This commit is contained in:
Anthony Rose 2021-11-23 08:53:49 +00:00
parent 8d95c9c6dd
commit 63e60a45a4
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
roles/home-gui/files/gnome-setup.sh
View file

@ -54,7 +54,13 @@ set_gnome_extensions () {
# gnome-extensions not installed.
return
fi
for ext in dash-to-dock@micxgx.gmail.com appindicatorsupport@rgcjonas.gmail.com
if [ $(. /etc/os-release && echo ${ID_LIKE:-none}) == "*rhel*" ]
then
dashtodock=dash-to-dock@gnome-shell-extensions.gcampax.github.com
else
dashtodock=dash-to-dock@micxgx.gmail.com
fi
for ext in $dashtodock appindicatorsupport@rgcjonas.gmail.com
do
$gnomeextcmd enable -q $ext
done