log frontends/src/jp/cmd_shell.py @ 2446:bfd1e9d737c4

age author description
2017-11-03 Goffi misc: date update (yes it's a bit late :p )
2017-09-08 Goffi jp (shell): fixed use of profile + added EOF handling:
2017-07-08 Goffi jp (arg_tools): args is not modified anymore in get_use_args + fixed args returned + parser_args are returned separatly (return is now a tuple)
2017-07-08 Goffi jp (arg_tools): moved get_cmd_choices, get_use_args and escape to a new arg_tools module, so they can be used in other commands than shell
2017-07-07 Goffi jp (shell): use of subprocess instead of running commands in the same process:
2017-07-06 Goffi jp (shell): added "whoami" command to print currently used profile
2017-07-06 Goffi jp (shell): don't print header if a command is specified in help
2017-07-06 Goffi jp (shell): shell command (REPL mode), first draft: