From 564832299364e732602faa80e46630cf2514deea Mon Sep 17 00:00:00 2001 From: Xavier Lepaul Date: Sun, 25 Feb 2018 16:46:25 +0100 Subject: [PATCH] Add required argument to history delete (#4740) --- share/tools/web_config/webconfig.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/tools/web_config/webconfig.py b/share/tools/web_config/webconfig.py index e70add746..3d392867f 100755 --- a/share/tools/web_config/webconfig.py +++ b/share/tools/web_config/webconfig.py @@ -739,7 +739,7 @@ class FishConfigHTTPRequestHandler(SimpleHTTPServer.SimpleHTTPRequestHandler): def do_delete_history_item(self, history_item_text): # It's really lame that we always return success here - cmd = ('builtin history delete --exact -- %s; builtin history save' % + cmd = ('builtin history delete --case-sensitive --exact -- %s; builtin history save' % escape_fish_cmd(history_item_text)) out, err = run_fish_cmd(cmd) return True