gnome-paint/gnome-paint.install

   1 post_install() {
   2   update-desktop-database -q
   3   xdg-icon-resource forceupdate
   4 }
   5
   6 post_upgrade() {
   7   post_install $1
   8 }
   9
  10 post_remove() {
  11   post_install $1
  12 }