diff options
| author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-05-12 04:09:22 +0000 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-05-12 04:09:22 +0000 |
| commit | 00b75e94fdb3eedea225ff1192972db1a46c09bd (patch) | |
| tree | 2409ea89ac3c8422c7189bbce9942fe78ef4f2bd /community/gnome-media/gnome-media.install | |
| parent | 96ba30fd7b52ef7318f2499e75970e3e186f84eb (diff) | |
Mon May 12 04:02:50 UTC 2014
Diffstat (limited to 'community/gnome-media/gnome-media.install')
| -rw-r--r-- | community/gnome-media/gnome-media.install | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/community/gnome-media/gnome-media.install b/community/gnome-media/gnome-media.install deleted file mode 100644 index 0574e8765..000000000 --- a/community/gnome-media/gnome-media.install +++ /dev/null @@ -1,26 +0,0 @@ -pkgname=gnome-sound-recorder - -post_install() { - usr/sbin/gconfpkg --install ${pkgname} - gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor -} - -pre_upgrade() { - pre_remove $1 -} - -post_upgrade() { - post_install $1 -} - -pre_remove() { - if [ "$(vercmp 3.4.0-2 "$2")" -eq 1 ]; then - usr/sbin/gconfpkg --uninstall gnome-media - else - usr/sbin/gconfpkg --uninstall ${pkgname} - fi -} - -post_remove() { - gtk-update-icon-cache -q -t -f /usr/share/icons/hicolor -} |