diff options
Diffstat (limited to 'extra/mono-tools/mono-tools.install')
-rw-r--r-- | extra/mono-tools/mono-tools.install | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/extra/mono-tools/mono-tools.install b/extra/mono-tools/mono-tools.install index d4891227b..745b1ac24 100644 --- a/extra/mono-tools/mono-tools.install +++ b/extra/mono-tools/mono-tools.install @@ -1,26 +1,14 @@ post_install() { - echo "update icon cache..." gtk-update-icon-cache -q -t -f usr/share/icons/hicolor } - -pre_upgrade() { - echo "removing index..." - rm -f /opt/mono/lib/monodoc/monodoc.index - rm -rf /opt/mono/lib/monodoc/search_index -} - -# arg 1: the new package version -# arg 2: the old package version post_upgrade() { post_install $1 } post_remove() { - echo "removing index..." rm -f /usr/lib/monodoc/monodoc.index rm -rf /usr/lib/monodoc/search_index - echo "update icon cache..." gtk-update-icon-cache -q -t -f usr/share/icons/hicolor } |