diff options
author | Daniel Ruiz de Alegría | 2019-11-16 20:07:01 +0100 |
---|---|---|
committer | Daniel Ruiz de Alegría | 2019-11-16 20:07:01 +0100 |
commit | d5a3f6abeb91bba178c7ec3bdbe78bfe7eed0430 (patch) | |
tree | 36f5e04ad1869069c1e873d8a5252ac25b5cbb2d | |
parent | 528ac0b0e15ee400ffc662b05c0566723a63a214 (diff) | |
download | aur-d5a3f6abeb91bba178c7ec3bdbe78bfe7eed0430.tar.gz |
Change install scripts
-rw-r--r-- | flat-remix-gnome.install | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/flat-remix-gnome.install b/flat-remix-gnome.install index f1d2875d2ebc..e5df5e58d702 100644 --- a/flat-remix-gnome.install +++ b/flat-remix-gnome.install @@ -1,9 +1,11 @@ post_install() { - mv -n /usr/share/gnome-shell/gnome-shell-theme.gresource /usr/share/gnome-shell/gnome-shell-theme.gresource.old - ln -sf /usr/share/themes/Flat-Remix/gnome-shell-theme.gresource /usr/share/gnome-shell/gnome-shell-theme.gresource + cd /usr/share/flat-remix-gnome + make + make install } -post_remove() { - mv /usr/share/gnome-shell/gnome-shell-theme.gresource.old /usr/share/gnome-shell/gnome-shell-theme.gresource +pre_remove() { + cd /usr/share/flat-remix-gnome + make uninstall } |