--- mozilla-launcher 2005-08-18 11:59:54.000000000 +0200 +++ mozilla-launcher-1.45 2006-02-01 13:35:05.000000000 +0100 @@ -169,6 +169,13 @@ *-bin) unset mozbin # just in case... ;; # but don't do anything yet + + *seamonkey) + export MOZILLA_FIVE_HOME=${MOZILLA_LIBDIR:-"/usr/lib/seamonkey"} + remote=$MOZILLA_FIVE_HOME/mozilla-xremote-client + mozbin=$MOZILLA_FIVE_HOME/seamonkey-bin + grepfor=Seamonkey-bin + ;; *) echo "$0: unknown browser" >&2 --- mozilla-launcher 2006-02-01 13:40:02.000000000 +0100 +++ mozilla-launcher-1.45 2006-02-01 14:15:15.000000000 +0100 @@ -530,6 +530,11 @@ umask 022 ${MOZILLA_FIVE_HOME}/mozilla-rebuild-databases.pl return $? + elif [[ ${zero} == seamonkey ]]; then + echo "Running seamonkey-rebuild-databases.pl" + umask 022 + ${MOZILLA_FIVE_HOME}/seamonkey-rebuild-databases.pl + return $? fi echo "Updating ${zero} chrome registry..."