geogebra42-beta/geogebra42-beta.install

   1 post_install() {
   2   echo "update desktop database..."
   3   update-desktop-database -q
   4   xdg-icon-resource forceupdate --theme hicolor 2> /dev/null
   5 }
   6
   7 post_upgrade() {
   8   post_install $1
   9 }
  10
  11 post_remove() {
  12   post_install $1
  13 }