diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-19 11:44:16 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-19 11:44:16 (GMT) |
commit | 4da410c1d7619aeecfe9093405cb6c03804ec9af (patch) | |
tree | cf7d31b6a6c93891767ae9b3fd74526cdfa298a8 | |
parent | 3164104316e412878f153fcdc5d76e9894e0afcf (diff) |
Rename config to prefs
-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 |