diff options
| author | Aldo Cortesi <aldo@corte.si> | 2017-12-14 07:42:12 +1300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-14 07:42:12 +1300 |
| commit | 62561ed428caca2fffaa96c8d0765a6a7bba4d00 (patch) | |
| tree | b07c48f0d0b0496b3500277d297f1463a9875ce2 /mitmproxy/tools | |
| parent | 5e0e08a4d604f126923b4c8c2bd40bc25cd5b022 (diff) | |
| parent | e63bb8cde5a62c7b0ad0b6e6577e8e1a78e822f5 (diff) | |
| download | mitmproxy-62561ed428caca2fffaa96c8d0765a6a7bba4d00.tar.gz mitmproxy-62561ed428caca2fffaa96c8d0765a6a7bba4d00.tar.bz2 mitmproxy-62561ed428caca2fffaa96c8d0765a6a7bba4d00.zip | |
Merge pull request #2669 from cortesi/path
commands: add a Path argument type
Diffstat (limited to 'mitmproxy/tools')
| -rw-r--r-- | mitmproxy/tools/console/consoleaddons.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mitmproxy/tools/console/consoleaddons.py b/mitmproxy/tools/console/consoleaddons.py index 69c8bb52..7772545d 100644 --- a/mitmproxy/tools/console/consoleaddons.py +++ b/mitmproxy/tools/console/consoleaddons.py @@ -414,14 +414,14 @@ class ConsoleAddon: self._grideditor().cmd_delete() @command.command("console.grideditor.readfile") - def grideditor_readfile(self, path: str) -> None: + def grideditor_readfile(self, path: command.Path) -> None: """ Read a file into the currrent cell. """ self._grideditor().cmd_read_file(path) @command.command("console.grideditor.readfile_escaped") - def grideditor_readfile_escaped(self, path: str) -> None: + def grideditor_readfile_escaped(self, path: command.Path) -> None: """ Read a file containing a Python-style escaped stringinto the currrent cell. |