From d390c78ec649071db1b7783903ae8a8d826c18e0 Mon Sep 17 00:00:00 2001 From: pvincent Date: Sat, 3 Apr 2021 21:53:39 +0400 Subject: [PATCH] gschema extension --- src/main | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main b/src/main index a663d73..78f1bc3 100755 --- a/src/main +++ b/src/main @@ -161,11 +161,14 @@ EXTENSIONS=( "system-monitor@paradoxxx.zero.gmail.com" "dash-to-dock@micxgx.gmail.com" "netspeed@hedayaty.gmail.com" + ) for extension in "${EXTENSIONS[@]}"; do if [[ ! -d $HOME/.local/share/gnome-shell/extensions/$extension ]];then gnome-extensions-cli install $extension + sudo cp $HOME/.local/share/gnome-shell/extensions/$extension/schemas/*.gschema.xml /usr/share/glib-2.0/schemas/ + sudo glib-compile-schemas /usr/share/glib-2.0/schemas/ else echo "extension <${extension}> already installed!" fi