1
0
mirror of https://github.com/deadc0de6/dotdrop.git synced 2026-02-05 09:08:50 +00:00

banner can be disabled from config file

This commit is contained in:
deadc0de6
2018-05-20 22:48:23 +02:00
parent e4e7a38052
commit cbafcfd4a7

View File

@@ -309,7 +309,7 @@ def main():
LOG.debug = opts['debug']
LOG.dbg('opts: {}'.format(opts))
if not args['--no-banner']:
if opts['banner'] and not args['--no-banner']:
header()
try: