12345678910111213141516171819202122232425262728293031 |
- #!/bin/sh
- userresources=$HOME/.Xresources
- usermodmap=$HOME/.Xmodmap
- sysresources=/etc/X11/xinit/.Xresources
- sysmodmap=/etc/X11/xinit/.Xmodmap
- # merge in defaults and keymaps
- if [ -f $sysresources ]; then
- xrdb -merge $sysresources
- fi
- if [ -f $sysmodmap ]; then
- xmodmap $sysmodmap
- fi
- if [ -f $userresources ]; then
- xrdb -merge $userresources
- fi
- if [ -f $usermodmap ]; then
- xmodmap $usermodmap
- fi
- # Start the window manager:
- if [ -z "$DESKTOP_SESSION" -a -x /usr/bin/ck-launch-session ]; then
- exec ck-launch-session dbus-launch --exit-with-session /usr/bin/echinus
- else
- exec dbus-launch --exit-with-session /usr/bin/echinus
- fi
|