diff options
Diffstat (limited to 'hl_bin/tcpdump')
| -rwxr-xr-x | hl_bin/tcpdump | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/hl_bin/tcpdump b/hl_bin/tcpdump index 0125919..752b15f 100755 --- a/hl_bin/tcpdump +++ b/hl_bin/tcpdump @@ -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 # ~~~~~~~~~~~~~~~ |