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
14 echo "Restoring default /etc/gtk-server.cfg"
15 mv /etc/gtk-server.cfg.default /etc/gtk-server.cfg