Jonathan Cubides 3b0cde27bb Add CLI improvements and shell testing (#131) ... * Remove input file fields from command opts * [cli] Make version and help commands * Fix on reviews * Fixes for dealing with global options inside subcmds * Fix minijuvix emacs mode and add some instance to GlobalOpts * Remove unrelated code * Propagate globals opts in each cmd parser * Add initial shell tests * Add test-shell to makefile and CI * Fix CI: adding .local/bin to PATH * Fixing CI * Installing shelltest just before running it * Install app for shell testing * Hide global flags after cmd. Fix shell tests accordingly. * Fixing CI * Shell test only run on ubuntu for now		2022-06-09 16:36:07 +02:00
..
compile.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
microjuvix.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
minic.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
minihaskell.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
monojuvix.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
parse.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
root.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
scope.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00
termination.test	Add CLI improvements and shell testing (#131)	2022-06-09 16:36:07 +02:00