Kill gnome-shell before installing extension

2022-11-20 13:22:53 +01:00 · 2022-11-20 13:22:53 +01:00 · 02a8d4ed56
parent 44733a3d74
commit 02a8d4ed56
1 changed files with 1 additions and 0 deletions
--- a/scripts/PopOS/software/gnome-extensions.sh
+++ b/scripts/PopOS/software/gnome-extensions.sh
@ -25,6 +25,7 @@ do
    uuid=$(jq -r '.uuid' "$unzipLocation/metadata.json")

    sudo chmod -R +r "$extensionLocation/$uuid"
+    killall -SIGQUIT gnome-shell
    gnome-extensions enable "$uuid"

    cd "$workingDirectory"