diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-25 22:09:53 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2013-03-25 22:09:53 -0300 |
commit | c2a0d248719fe0d57c1ebbd86e6e4bf67e036cca (patch) | |
tree | 1ce7059fa7b65fd33f2bea84a7d11e3fc96f782f /libre/psi/psi.install | |
parent | da4092571674bb5e79c04aeb37010653eab74326 (diff) |
psi: adding new package to [libre] repo due rebranding
Diffstat (limited to 'libre/psi/psi.install')
-rw-r--r-- | libre/psi/psi.install | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/libre/psi/psi.install b/libre/psi/psi.install new file mode 100644 index 000000000..464d2e625 --- /dev/null +++ b/libre/psi/psi.install @@ -0,0 +1,12 @@ +post_install() { + xdg-icon-resource forceupdate --theme hicolor &> /dev/null + update-desktop-database -q &> /dev/null +} + +post_upgrade() { + post_install +} + +post_remove() { + post_install +} |