From e64947d3bc00375fcb80898f48add3593b787d24 Mon Sep 17 00:00:00 2001 From: Miroslav Date: Thu, 8 Feb 2018 21:14:10 +0200 Subject: [PATCH] Docs --- mitmproxy/tools/console/consoleaddons.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/mitmproxy/tools/console/consoleaddons.py b/mitmproxy/tools/console/consoleaddons.py index affbf4d39..e4a7503cb 100644 --- a/mitmproxy/tools/console/consoleaddons.py +++ b/mitmproxy/tools/console/consoleaddons.py @@ -279,11 +279,13 @@ class ConsoleAddon: @command.command("console.command.set") def console_command_set(self, option: str) -> None: - """Doc""" + """ + Prompt the user to set an option of the form "key[=value]". + """ option_value = getattr(self.master.options, option, None) current_value = option_value if option_value else "" self.master.commands.call( - "console.command set {}={}".format(option, current_value) + "console.command set %s=%s" % (option, current_value) ) @command.command("console.view.keybindings")