Author	SHA1	Message	Date
Goffi	f5f25e8ab5	misc: date update (yes it's a bit late :p )	2017-11-03 14:31:42 +01:00
Goffi	15ff6aedf4	jp (shell): fixed use of profile + added EOF handling: ... - main profile (i.e. the one specified on command line when invocating "jp shell") was not used. It is now added to arguments if the value is not overriden on command line or in use - EOF (i.e. when user press C-d) is now understood as "quit" command	2017-09-08 07:58:10 +02:00
Goffi	23416b5d12	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 22:49:55 +02:00
Goffi	4331a03562	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-08 21:45:14 +02:00