ikarus-gtk/ikarus-gtk.install

   1 post_install() {
   2     echo "Moving /etc/gtk-server.cfg to /etc/gtk-server.cfg.default"
   3     mv /etc/gtk-server.cfg /etc/gtk-server.cfg.default
   4     echo "Installing ikarus-gtk version of /etc/gtk-server.cfg"
   5     mv /usr/lib/ikarus/gtk/gtk-server.cfg /etc/gtk-server.cfg
   6 }
   7
   8 post_upgrade() {
   9   post_remove $1
  10   post_install $1
  11 }
  12
  13 post_remove() {
  14   echo "Restoring default /etc/gtk-server.cfg"
  15   mv /etc/gtk-server.cfg.default /etc/gtk-server.cfg
  16 }
  17
  18 op=$1
  19 shift
  20
  21 $op $*