diff options
author | Daniel Ruiz de Alegría | 2019-11-17 19:59:01 +0100 |
---|---|---|
committer | Daniel Ruiz de Alegría | 2019-11-17 19:59:01 +0100 |
commit | 6a2bc8238a230802324003efac985f66fff4ea87 (patch) | |
tree | 54dc7206b1f7b1f4dc227ad299e5bb8a3db08c49 | |
parent | 3370ccad616f9d5de2139481c3cf0f3d7f2416c0 (diff) | |
download | aur-6a2bc8238a230802324003efac985f66fff4ea87.tar.gz |
Regenerate theme after upgrade
-rw-r--r-- | flat-remix-gnome.install | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/flat-remix-gnome.install b/flat-remix-gnome.install index e5df5e58d702..4f226b514a1b 100644 --- a/flat-remix-gnome.install +++ b/flat-remix-gnome.install @@ -1,5 +1,9 @@ post_install() { + post_upgrade +} + +post_upgrade() { cd /usr/share/flat-remix-gnome make make install |