diff options
-rwxr-xr-x | bin/sed | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ # $Id$ scriptpath=${BASH_SOURCE[0]} -scriptname=${scriptpath%%*/} +scriptname=${scriptpath##*/} if [[ sed == ${scriptname} ]] && [[ -n ${ESED} ]]; then exec ${ESED} "$@" |