gnome-shell force restart if needed

src/main

@@ -192,8 +192,8 @@ else
     echo "gnome-extensions-cli already installed!"
 fi
 
-echo "## gnome extension system-monitor"
-echo "================================="
+echo "## gnome-shell install several extensions"
+echo "========================================="
 EXTENSIONS=( 
     "appindicatorsupport@rgcjonas.gmail.com"
     "system-monitor@paradoxxx.zero.gmail.com"
@@ -201,8 +201,10 @@ EXTENSIONS=(
     "netspeed@hedayaty.gmail.com"
 )
 
+NEED_GNOME_SHELL_RESTART=false
 for extension in "${EXTENSIONS[@]}"; do
     if [[ ! -d $HOME/.local/share/gnome-shell/extensions/$extension ]];then
+        NEED_GNOME_SHELL_RESTART=true
         gnome-extensions-cli --backend file install $extension
         if [[ -d $HOME/.local/share/gnome-shell/extensions/$extension/schemas ]]; then
             sudo cp $HOME/.local/share/gnome-shell/extensions/$extension/schemas/*.gschema.xml /usr/share/glib-2.0/schemas/
@@ -213,6 +215,7 @@ for extension in "${EXTENSIONS[@]}"; do
     fi
 done
 
+
 echo "# gnome extra settings"
 echo "======================"
 gsettings set org.gnome.shell.extensions.system-monitor show-tooltip true
@@ -263,3 +266,7 @@ echo
 echo
 echo "# DEBIAN-GNOME successfully installed!"
 echo
+
+if [[ $NEED_GNOME_SHELL_RESTART == true ]]; then
+    killall -HUP gnome-shell
+fi