From cbafcfd4a792243b76b49cf0f589cf894e4118af Mon Sep 17 00:00:00 2001 From: deadc0de6 Date: Sun, 20 May 2018 22:48:23 +0200 Subject: [PATCH] banner can be disabled from config file --- dotdrop/dotdrop.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dotdrop/dotdrop.py b/dotdrop/dotdrop.py index edeb941..e939468 100644 --- a/dotdrop/dotdrop.py +++ b/dotdrop/dotdrop.py @@ -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: