From cadc8e27e7ca79f9fc44bd5d7016577629e01d09 2008-03-29 17:20:59 From: Ville M. Vainio Date: 2008-03-29 17:20:59 Subject: [PATCH] jobctrl: use shell for 'start' internal command --- diff --git a/IPython/Extensions/jobctrl.py b/IPython/Extensions/jobctrl.py index 28016bf..5cff41d 100755 --- a/IPython/Extensions/jobctrl.py +++ b/IPython/Extensions/jobctrl.py @@ -189,7 +189,7 @@ def magic_kill(self,line): magic_tasks(self,line) if sys.platform == 'win32': - shell_internal_commands = 'break chcp cls copy ctty date del erase dir md mkdir path prompt rd rmdir time type ver vol'.split() + shell_internal_commands = 'break chcp cls copy ctty date del erase dir md mkdir path prompt rd rmdir start time type ver vol'.split() else: # todo linux commands shell_internal_commands = []