diff options
| -rwxr-xr-x | share/provision/debian/desktop-basic | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/share/provision/debian/desktop-basic b/share/provision/debian/desktop-basic index c4cc33a..2eeaf5d 100755 --- a/share/provision/debian/desktop-basic +++ b/share/provision/debian/desktop-basic @@ -77,6 +77,13 @@ fi # User configuration mkdir -p $HOME/.custom -if [ ! -e "$HOME/.custom/xsession" ]; then - cp $DIRNAME/files/desktop-basic/home/user/.custom/xsession $HOME/.custom/xsession -fi +# Only install the custom xsession config if it does not exist +#if [ ! -e "$HOME/.custom/xsession" ]; then +# cp $DIRNAME/files/desktop-basic/home/user/.custom/xsession $HOME/.custom/xsession +#fi + +# Always install the custom xsession config if it does not exist +# +# VMs with custom xsession procedures should use an additional +# $HOME/.custom/xsession-$HOSTNAME +cp $DIRNAME/files/desktop-basic/home/user/.custom/xsession $HOME/.custom/xsession |