diff options
| author | Daniel Ruiz de Alegría | 2019-02-27 13:30:50 +0100 |
|---|---|---|
| committer | Daniel Ruiz de Alegría | 2019-02-27 13:30:50 +0100 |
| commit | 30c8dafc199855893724a9ec110c7567b46e6d8f (patch) | |
| tree | 984c026f8d05bb1e633950ab0d608e9ae5b3fa69 /flat-remix-gnome.install | |
| parent | 8694490ed33ed0242f23ab0503b7916db22581bc (diff) | |
| download | aur-30c8dafc199855893724a9ec110c7567b46e6d8f.tar.gz | |
20190116
Diffstat (limited to 'flat-remix-gnome.install')
| -rw-r--r-- | flat-remix-gnome.install | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/flat-remix-gnome.install b/flat-remix-gnome.install new file mode 100644 index 000000000000..f1d2875d2ebc --- /dev/null +++ b/flat-remix-gnome.install @@ -0,0 +1,9 @@ + +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 +} + +post_remove() { + mv /usr/share/gnome-shell/gnome-shell-theme.gresource.old /usr/share/gnome-shell/gnome-shell-theme.gresource +} |