log frontends/src/jp/cmd_shell.py @ 2414:8b37a62336c3

age author description
Fri, 03 Nov 2017 14:31:42 +0100 Goffi misc: date update (yes it's a bit late :p )
Fri, 08 Sep 2017 07:58:10 +0200 Goffi jp (shell): fixed use of profile + added EOF handling:
Sat, 08 Jul 2017 22:49:55 +0200 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)
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