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

Enable gnome-shell extensions if they are installed

Browse source
This commit is contained in:
Anthony Rose 2021-11-21 23:11:59 +00:00
parent 76f7afc86c
commit 575ab5323e
1 changed files with 19 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -47,6 +47,25 @@ set_gnome_terminal_preferences () {
}
set_gnome_terminal_preferences
set_gnome_extensions () {
gnomeextcmd=/usr/bin/gnome-extensions
if ! [ -x $gnomeextcmd ]
then
# gnome-extensions not installed.
return
fi
for ext in dash-to-dock@micxgx.gmail.com appindicatorsupport@rgcjonas.gmail.com
do
installed=$($gnomeextcmd list | grep $ext)
enabled=$($gnomeextcmd list --enabled | grep $ext)
if [ x$ext == x$installed ] && [ x$ext != x$enabled ]
then
$gnomeextcmd enable $ext
fi
done
}
set_gnome_extensions
set_dash_to_dock_preferences () {
if gsettings list-keys org.gnome.shell.extensions.dash-to-dock 2>&1 >/dev/null; then
# Reset all dash-to-dock settings.