From 5c4def33793b9be4af71ebaaccfcd41e65e4b21e Mon Sep 17 00:00:00 2001 From: June McEnroe Date: Tue, 18 Jan 2022 21:02:34 -0500 Subject: Use diff-highlight for GIT_PAGER if available --- home/.profile | 2 ++ 1 file changed, 2 insertions(+) (limited to 'home/.profile') 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 -- cgit 1.4.1