diff options
| author | mbornet-hl <mbornet.pro@wanadoo.fr> | 2015-11-08 17:44:30 +0100 |
|---|---|---|
| committer | mbornet-hl <mbornet.pro@wanadoo.fr> | 2015-11-08 17:44:30 +0100 |
| commit | 1a0993b91a9e88046cc245dbd0cd0f6bdcb1d95e (patch) | |
| tree | 17a2f3e31e1392fc926ea8684235b23764f0ec9a /hl_bin/diff | |
| parent | d981136a455ecb551562fbfdbf939b987f3c2fb4 (diff) | |
| download | hl-1a0993b91a9e88046cc245dbd0cd0f6bdcb1d95e.zip hl-1a0993b91a9e88046cc245dbd0cd0f6bdcb1d95e.tar.gz hl-1a0993b91a9e88046cc245dbd0cd0f6bdcb1d95e.tar.bz2 | |
Added management of WHICH in hl_generic
Diffstat (limited to 'hl_bin/diff')
| -rwxr-xr-x | hl_bin/diff | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/hl_bin/diff b/hl_bin/diff index 0125919..752b15f 100755 --- a/hl_bin/diff +++ b/hl_bin/diff @@ -3,7 +3,7 @@ # Script for command output colorization # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # -# @(#) [MB] cr_hl_generic Version 1.10 du 15/10/10 - +# @(#) [MB] cr_hl_generic Version 1.12 du 15/11/08 - # # This script calls the original programme with all the arguments # it received, and pipes it to "hl" using its name as the "hl" @@ -32,6 +32,11 @@ dirname="$(dirname "$pathname")" PATH="$(echo "$PATH" | sed "s|^$dirname:||;s|:$dirname:|:|g")" export PATH +if [ "$WHICH" = 1 ]; then + type "$progname" + exit 1 +fi + if [ "$USE_HL" = "no" ]; then # No colorization # ~~~~~~~~~~~~~~~ |