diff options
Diffstat (limited to 'desktop/gnome-shell/douninst.sh')
-rw-r--r-- | desktop/gnome-shell/douninst.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/desktop/gnome-shell/douninst.sh b/desktop/gnome-shell/douninst.sh new file mode 100644 index 0000000000..ee92d4eb3c --- /dev/null +++ b/desktop/gnome-shell/douninst.sh @@ -0,0 +1,11 @@ +# The gnome-shell doinst.sh script compiles custom gsettings-schemas +# in the location /usr/share/gnome-shell/gsettings-desktop-schemas +# +# The compiled schemas will remain after package removal, so clean +# them up: + +GSCHEMA_DIR="/usr/share/gnome-shell/gsettings-desktop-schemas" +if [ -e "$GSCHEMA_DIR" ]; then + rm -rf "$GSCHEMA_DIR" +fi + |