diff options
Diffstat (limited to 'commands')
-rwxr-xr-x | commands/check-system | 5 | ||||
-rwxr-xr-x | commands/run | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/commands/check-system b/commands/check-system index 6d14978..2f501c0 100755 --- a/commands/check-system +++ b/commands/check-system @@ -18,6 +18,8 @@ parser.add_argument("--remove", action="store_true", help="remove all the unnecessary packages") parser.add_argument("--test", action="store_true", help="don't add or remove packages, test only") +parser.add_argument("--skip-if-unchanged", action="store_true", + help="skip if unchanged from the last check") args = parser.parse_args() def apply_ubuntu_tweaks(): @@ -38,4 +40,5 @@ interactive = "SUGAR_BUILDBOT" not in os.environ system.check(update=args.update, remove=args.remove, test=args.test, - interactive=interactive) + interactive=interactive, + skip_if_unchanged=args.skip_if_unchanged) 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 |