log frontends/src/jp/cmd_shell.py @ 2315:8d9bd5d77336

age author description
Sat, 08 Jul 2017 21:45:14 +0200 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
Fri, 07 Jul 2017 22:33:55 +0200 Goffi jp (shell): use of subprocess instead of running commands in the same process:
Thu, 06 Jul 2017 20:35:21 +0200 Goffi jp (shell): added "whoami" command to print currently used profile
Thu, 06 Jul 2017 20:31:31 +0200 Goffi jp (shell): don't print header if a command is specified in help