diff options
Diffstat (limited to 'minishell_test/data/default.cfg')
| -rw-r--r-- | minishell_test/data/default.cfg | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/minishell_test/data/default.cfg b/minishell_test/data/default.cfg new file mode 100644 index 0000000..62edbfd --- /dev/null +++ b/minishell_test/data/default.cfg @@ -0,0 +1,27 @@ +[minishell_test] +bonus = false +exec_name = minishell +make = true +pager = false +pager_prog = less +log_path = minishell_test.log + +[shell] +available_commands = + rmdir + env + cat + touch + ls + grep + sh + head +path_variable = {shell_available_commands_dir} + +[shell:reference] +path = /bin/bash +args = + +[timeout] +test = 0.5 +leaks = 10 |
