#!/bin/sh
#
# RunWM - this is a script used to launch window managers
#

[ -f /etc/sysconfig/desktop ] && . /etc/sysconfig/desktop
[ -f $HOME/.wm_style ] && WMSTYLE=`cat $HOME/.wm_style`

WM_CHOICE=

get_wm_choice() {
	for i in /etc/sysconfig/wmstyle/*.names ; do
		for j in `cat $i` ; do
			if [ "`echo $j | tr A-Z a-z`" = "`echo $WMSTYLE | tr A-Z a-z`" ] ; then
				WM_CHOICE="`echo $i | sed 's/names$/sh/'`"
				return
			fi
		done
	done
}

get_wm_choice

if [ -z $WM_CHOICE ] ; then
	echo "This window manager ($WM_CHOICE) is unknown to me."
elif [ -x $WM_CHOICE ] ; then
	exec $WM_CHOICE
	echo
	echo "    The window manager you have requested ($WM_CHOICE) could not be started."
fi

echo 
echo "RESUMING with $DEFAULTWM..." >&2
exec $DEFAULTWM
echo
echo "    The default window manager ($WM_CHOICE) could not be started. You have"
echo "    selected this window manager in your $HOME/.wm_style file or it was"
echo "    selected as the default window manager by the system administrator."

echo "    Check your settings and try again."

exit 1
