diff options
| -rw-r--r-- | home/.profile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/home/.profile b/home/.profile index bb578d21..ed925b65 100644 --- a/home/.profile +++ b/home/.profile @@ -17,6 +17,8 @@ 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 |