diff options
Diffstat (limited to 'home/.profile')
-rw-r--r-- | home/.profile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/home/.profile b/home/.profile index bb578d21..7d4ba822 100644 --- a/home/.profile +++ b/home/.profile @@ -17,8 +17,12 @@ export LESS=FRXix4 export CLICOLOR=1 export MANSECT=2:3:1:8:6:5:7:4:9 export NETHACKOPTIONS='pickup_types:$!?+/=, color, DECgraphics' +command -v diff-highlight >/dev/null && +export GIT_PAGER="diff-highlight | $PAGER" test -e /usr/share/mk/sys.mk || export CFLAGS=-O test -d /usr/home && cd +test -f ~/.profile.local && . ~/.profile.local + export ENV=~/.shrc |