manuth/PortValhalla
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Kill gnome-shell before installing extension

Browse source
This commit is contained in:
Manuel Thalmann 2022-11-20 13:22:53 +01:00
parent be35b5f750
commit 5b7f9fd245
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/PopOS/software/gnome-extensions.sh
View file

@ -25,6 +25,7 @@ do
uuid=$(jq -r '.uuid' "$unzipLocation/metadata.json") uuid=$(jq -r '.uuid' "$unzipLocation/metadata.json")
sudo chmod -R +r "$extensionLocation/$uuid" sudo chmod -R +r "$extensionLocation/$uuid"
killall -SIGQUIT gnome-shell
gnome-extensions enable "$uuid" gnome-extensions enable "$uuid"
cd "$workingDirectory" cd "$workingDirectory"