Use gnome-extensions built-in functionality

This commit is contained in:
Anthony Rose 2021-11-21 23:27:15 +00:00
parent 575ab5323e
commit 8d95c9c6dd

View file

@ -56,12 +56,7 @@ set_gnome_extensions () {
fi fi
for ext in dash-to-dock@micxgx.gmail.com appindicatorsupport@rgcjonas.gmail.com for ext in dash-to-dock@micxgx.gmail.com appindicatorsupport@rgcjonas.gmail.com
do do
installed=$($gnomeextcmd list | grep $ext) $gnomeextcmd enable -q $ext
enabled=$($gnomeextcmd list --enabled | grep $ext)
if [ x$ext == x$installed ] && [ x$ext != x$enabled ]
then
$gnomeextcmd enable $ext
fi
done done
} }
set_gnome_extensions set_gnome_extensions