|
Lines 11-15
fi
Link Here
|
| 11 |
xprop -root -remove _NET_NUMBER_OF_DESKTOPS -remove _NET_DESKTOP_NAMES -remove _NET_CURRENT_DESKTOP 2> /dev/null |
11 |
xprop -root -remove _NET_NUMBER_OF_DESKTOPS -remove _NET_DESKTOP_NAMES -remove _NET_CURRENT_DESKTOP 2> /dev/null |
| 12 |
|
12 |
|
| 13 |
# Run GNOME with Openbox as its window manager |
13 |
# Run GNOME with Openbox as its window manager |
| 14 |
export WINDOW_MANAGER="@bindir@/openbox" |
14 |
SESSION=$(gconftool-2 -g /desktop/gnome/session/default_session 2> /dev/null) |
| 15 |
exec gnome-session --choose-session=openbox-session "$@" |
15 |
test -z "$SESSION" && SESSION="[openbox]" |
|
|
16 |
echo "$SESSION" | grep -q openbox || SESSION="${SESSION%]},openbox]" |
| 17 |
|
| 18 |
OPENBOX_SESSION=$(gconftool-2 -g /desktop/gnome/session/openbox_session 2> /dev/null) |
| 19 |
[ "$SESSION" != "$OPENBOX_SESSION" ] && gconftool-2 -t list --list-type=strings -s \ |
| 20 |
/desktop/gnome/session/openbox_session "$SESSION" 2> /dev/null |
| 21 |
|
| 22 |
exec gnome-session --default-session-key /desktop/gnome/session/openbox_session "$@" |
