diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-26 00:22:01 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-11-26 00:22:01 (GMT) |
commit | 9c6636a761d2bc627e744e6b0efc45cc7672c485 (patch) | |
tree | 9140286204564cc901ef645caeac3155e0fd2b19 /commands/run | |
parent | 15980e294fcb70ce8e04efb198b26f66c4241ecb (diff) |
On run check the system only if something changed
Diffstat (limited to 'commands/run')
-rwxr-xr-x | commands/run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/commands/run b/commands/run index c71fe66..1f043d0 100755 --- a/commands/run +++ b/commands/run @@ -5,7 +5,7 @@ helpersdir=$commandsdir/helpers rootdir=`dirname "$commandsdir"` display=`$helpersdir/find-free-display` -$commandsdir/check-system +$commandsdir/check-system --skip-if-unchanged if [ -f $rootdir/prefs ]; then source $rootdir/prefs |