diff options
Diffstat (limited to 'plugins/python')
| -rw-r--r-- | plugins/python/python.plugin.zsh | 2 |
1 files changed, 1 insertions, 1 deletions
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()'" |