configs/zsh
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Don't pipe svn through $PAGER, if it isn't set

Browse source
This commit is contained in:
crater2150 2021-05-20 17:35:34 +02:00
parent eb99b40aee
commit de89545cb0
1 changed files with 10 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
aliases/functions
View file

@ -191,14 +191,16 @@ cropdetect() {
# programming # programming
##############################################################################{{{ ##############################################################################{{{
svn() { if [[ -n $PAGER ]]; then
svn() {
case $1 in case $1 in
log|diff) log|diff)
command svn "$@" | $PAGER ;; command svn "$@" | $PAGER ;;
*) *)
command svn "$@" ;; command svn "$@" ;;
esac esac
} }
fi
alias gitv='vim "$(git rev-parse --git-dir)/index" -c "Gitv --all" -c tabonly' alias gitv='vim "$(git rev-parse --git-dir)/index" -c "Gitv --all" -c tabonly'