From 13fa2431ce628fbd8e64b18e40bb0eda2ae46058 Mon Sep 17 00:00:00 2001 From: Charles Cabergs Date: Sun, 13 Sep 2020 14:34:57 +0200 Subject: Added pager option --- src/main.py | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/main.py') diff --git a/src/main.py b/src/main.py index 1c652b6..4ba5128 100755 --- a/src/main.py +++ b/src/main.py @@ -54,6 +54,10 @@ def main(): if reference_args is not None: config.REFERENCE_ARGS.extend(reference_args.split(',')) + pager = os.environ.get("MINISHELL_TEST_PAGER") + if pager is not None: + config.PAGER = pager + config.VERBOSE_LEVEL = args.verbose if args.bonus or os.environ.get("MINISHELL_TEST_BONUS") == "yes": config.BONUS = True @@ -69,6 +73,9 @@ def main(): Suite.save_log() print("See", config.LOG_PATH, "for more information") + if args.pager: + subprocess.run([config.PAGER, config.LOG_PATH]) + if __name__ == "__main__": main() -- cgit