From 4da410c1d7619aeecfe9093405cb6c03804ec9af Mon Sep 17 00:00:00 2001
From: Daniel Narvaez <dwnarvaez@gmail.com>
Date: Mon, 19 Nov 2012 11:44:16 +0000
Subject: Rename config to prefs

---
(limited to 'commands/run')

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
 
--
cgit v0.9.1