diff options
author | Michal Donat | 2018-01-08 20:37:44 +0100 |
---|---|---|
committer | Michal Donat | 2018-01-08 20:37:44 +0100 |
commit | 2ab331405bca92cf1b38b1807ce2cbde81d36eb0 (patch) | |
tree | 12ff2bc0065df36a74dad594ab73c3ea2bae4b92 | |
parent | eebd25e9e71a39c99d6d76719b8515489ff35d16 (diff) | |
download | aur-2ab331405bca92cf1b38b1807ce2cbde81d36eb0.tar.gz |
remove unused file
-rw-r--r-- | gschemas.install | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/gschemas.install b/gschemas.install deleted file mode 100644 index 7f4546e45017..000000000000 --- a/gschemas.install +++ /dev/null @@ -1,30 +0,0 @@ -post_install() { - /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/ - instructions_install -} - -post_upgrade() { - /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/ - instructions_upgrade -} - -post_remove() { - /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/ -} - -instructions_install() { - /bin/cat << EOF - -Restart GNOME Shell ([Alt]+[F2], r). -Activate the extension with gnome-tweak-tool. - -EOF -} - -instructions_upgrade() { - /bin/cat << EOF - -Restart GNOME Shell ([Alt]+[F2], r) to load the upgraded extension. - -EOF -} |