diff options
| author | MaZderMind <github@mazdermind.de> | 2016-01-13 13:16:07 +0100 |
|---|---|---|
| committer | MaZderMind <github@mazdermind.de> | 2016-01-13 13:16:07 +0100 |
| commit | 0cb0f1f16320c4b0314c5b81c91f022330e74642 (patch) | |
| tree | e1e03aca23ae3a7d499113494a8bbde79a4e2c82 /voctogui/lib/args.py | |
| parent | 603bace75192efd80e0facc5454af5f1fd3651a3 (diff) | |
port timestmap logging to gui
Diffstat (limited to 'voctogui/lib/args.py')
| -rw-r--r-- | voctogui/lib/args.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/voctogui/lib/args.py b/voctogui/lib/args.py index 6a34a6b..63e12d3 100644 --- a/voctogui/lib/args.py +++ b/voctogui/lib/args.py @@ -10,6 +10,9 @@ parser.add_argument('-v', '--verbose', action='count', default=0, parser.add_argument('-c', '--color', action='store', choices=['auto', 'always', 'never'], default='auto', help="Control the use of colors in the Log-Output") +parser.add_argument('-t', '--timestamp', action='store_true', + help="Enable timestamps in the Log-Output") + parser.add_argument('-i', '--ini-file', action='store', help="Load a custom config.ini-File") |