diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rwxr-xr-x | commands/run | 8 |
2 files changed, 5 insertions, 4 deletions
@@ -8,3 +8,4 @@ logs/*.tar logs/all-logs.tar.bz2 commands/helpers/list-outputs commands/helpers/find-free-display +prefs diff --git a/commands/run b/commands/run index 0b485b5..1b5f3a8 100755 --- a/commands/run +++ b/commands/run @@ -5,8 +5,8 @@ helpersdir=$commandsdir/helpers rootdir=`dirname "$commandsdir"` display=`$helpersdir/find-free-display` -if [ -f $rootdir/config ]; then - source $rootdir/config +if [ -f $rootdir/prefs ]; then + source $rootdir/prefs fi if [ -n $SUGAR_DISPLAY ]; then @@ -16,10 +16,10 @@ if [ -n $SUGAR_DISPLAY ]; then fi if [ ! -z $SUGAR_PROFILE ]; then - grep -q PROFILE $rootdir/config + grep -q PROFILE $rootdir/prefs if [ $? -eq 1 ]; then randomstring=`</dev/urandom tr -cd A-Za-z0-9 | head -c10` - echo "PROFILE=$randomstring" >> $ROOT_DIR/config + echo "PROFILE=$randomstring" >> $ROOT_DIR/prefs fi fi |