From dd1df902525c485e575719ef9971f97f3e64a02b Mon Sep 17 00:00:00 2001 From: Mohammad Date: Sat, 23 May 2020 16:33:09 -0400 Subject: [PATCH] python: add line-number to pygrep (#8867) --- plugins/python/python.plugin.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/python/python.plugin.zsh b/plugins/python/python.plugin.zsh index 3e4db1e7d..c3c1474c1 100644 --- a/plugins/python/python.plugin.zsh +++ b/plugins/python/python.plugin.zsh @@ -41,7 +41,7 @@ function pyuserpaths() { } # Grep among .py files -alias pygrep='grep -r --include="*.py"' +alias pygrep='grep -nr --include="*.py"' # Run proper IPython regarding current virtualenv (if any) alias ipython="python -c 'import IPython; IPython.terminal.ipapp.launch_new_instance()'"