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

This commit is contained in:
Mohammad 2020-05-23 16:33:09 -04:00 committed by GitHub
parent 3f245edf1b
commit dd1df90252
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -41,7 +41,7 @@ function pyuserpaths() {
} }
# Grep among .py files # Grep among .py files
alias pygrep='grep -r --include="*.py"' alias pygrep='grep -nr --include="*.py"'
# Run proper IPython regarding current virtualenv (if any) # Run proper IPython regarding current virtualenv (if any)
alias ipython="python -c 'import IPython; IPython.terminal.ipapp.launch_new_instance()'" alias ipython="python -c 'import IPython; IPython.terminal.ipapp.launch_new_instance()'"