diff options
| -rwxr-xr-x | modules/profile/xprofile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/modules/profile/xprofile b/modules/profile/xprofile index c4e4eab..ad4b3d7 100755 --- a/modules/profile/xprofile +++ b/modules/profile/xprofile @@ -9,6 +9,9 @@ BACKGROUND="" # Session applications PROGRAMS="" +# OS Version +OSVERSION="`cut -d . -f 1 /etc/debian_version`" + # Make sure to load the profile . $HOME/.profile @@ -45,6 +48,6 @@ unset GNOME_KEYRING_PID unset GNOME_KEYRING_CONTROL # Execute window manager -if [ "`cut -d . -f 1 /etc/debian_version`" ]; then +if [ "$OSVERSION" == '7' ]; then awesome fi |