|
|
@ -78,7 +78,7 @@ class NewInteractiveShell: |
|
|
|
cmds = cmd.split(" ") |
|
|
|
cmds = cmd.split(" ") |
|
|
|
try: |
|
|
|
try: |
|
|
|
args = self.parser.parse_args(cmds) |
|
|
|
args = self.parser.parse_args(cmds) |
|
|
|
except argparse.ArgumentError: |
|
|
|
except (argparse.ArgumentError, argparse.ArgumentTypeError, SystemExit): |
|
|
|
logger.warning(f"Unknown command: {cmd}") |
|
|
|
logger.warning(f"Unknown command: {cmd}") |
|
|
|
return |
|
|
|
return |
|
|
|
match cmds[0]: |
|
|
|
match cmds[0]: |
|
|
|