diff options
author | Marko Kreen | 2012-10-18 10:41:34 +0000 |
---|---|---|
committer | Marko Kreen | 2012-10-18 12:42:28 +0000 |
commit | 90d042b82a562f5a6d35d9e04989330aabac20fc (patch) | |
tree | f525832caf26ef43e575804aab2ea6ccd56c291b | |
parent | 178a0ce94cb4f880d41646b4916464a44e30a75e (diff) |
setup_skytools: if -q is given, be quiet
-rwxr-xr-x | setup_skytools.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/setup_skytools.py b/setup_skytools.py index 5440068d..58576fe8 100755 --- a/setup_skytools.py +++ b/setup_skytools.py @@ -122,7 +122,8 @@ def fixscript(fn, dstdir, sfx): return dfn = os.path.join(dstdir, fn) dfn2 = os.path.join(dstdir, fn2) - print("Renaming %s -> %s" % (dfn, fn2)) + if '-q' not in sys.argv: + print("Renaming %s -> %s" % (dfn, fn2)) if sys.platform == 'win32' and os.path.isfile(dfn2): os.remove(dfn2) os.rename(dfn, dfn2) |