diff options
author | June McEnroe <june@causal.agency> | 2022-01-18 21:02:34 -0500 |
---|---|---|
committer | June McEnroe <june@causal.agency> | 2022-01-18 21:02:34 -0500 |
commit | 5c4def33793b9be4af71ebaaccfcd41e65e4b21e (patch) | |
tree | 43cdf3a176e8977e2519fdb976302d9b433d1cda /home/.profile | |
parent | Add ~/.cargo to PATH (diff) | |
download | src-5c4def33793b9be4af71ebaaccfcd41e65e4b21e.tar.gz src-5c4def33793b9be4af71ebaaccfcd41e65e4b21e.zip |
Use diff-highlight for GIT_PAGER if available
Diffstat (limited to '')
-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 |