diff options
| author | Charles Cabergs <me@cacharle.xyz> | 2020-09-13 14:34:57 +0200 |
|---|---|---|
| committer | Charles Cabergs <me@cacharle.xyz> | 2020-09-13 14:50:49 +0200 |
| commit | 13fa2431ce628fbd8e64b18e40bb0eda2ae46058 (patch) | |
| tree | cdd60ca00241afd4ffc14e7218ddf379fb1268ec /src/main.py | |
| parent | 1caecc346a24c7e3e10e310ff564e8ec0e760ffa (diff) | |
| download | minishell_test-13fa2431ce628fbd8e64b18e40bb0eda2ae46058.tar.gz minishell_test-13fa2431ce628fbd8e64b18e40bb0eda2ae46058.tar.bz2 minishell_test-13fa2431ce628fbd8e64b18e40bb0eda2ae46058.zip | |
Added pager option
Diffstat (limited to 'src/main.py')
| -rwxr-xr-x | src/main.py | 7 |
1 files changed, 7 insertions, 0 deletions
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() |