`dd1df902525c485e575719ef9971f97f3e64a02b`

Author: Mohammad <mohammad@gazelle.ai>
Committer: GitHub <noreply@github.com>
Date: 2020-05-23 20:33 UTC

Message

python: add line-number to pygrep (#8867)

Diff

 1diff --git a/plugins/python/python.plugin.zsh b/plugins/python/python.plugin.zsh
 2index 3e4db1e7df0199a9666b3968a112429b34fbedc1..c3c1474c1fbe2a781355145dd94d5f2ffa8a882a 100644
 3--- a/plugins/python/python.plugin.zsh
 4+++ b/plugins/python/python.plugin.zsh
 5@@ -41,7 +41,7 @@ function pyuserpaths() {
 6 }
 7 
 8 # Grep among .py files
 9-alias pygrep='grep -r --include="*.py"'
10+alias pygrep='grep -nr --include="*.py"'
11 
12 # Run proper IPython regarding current virtualenv (if any)
13 alias ipython="python -c 'import IPython; IPython.terminal.ipapp.launch_new_instance()'"