diff options
| -rwxr-xr-x | bin/sed | 22 |
1 files changed, 12 insertions, 10 deletions
@@ -1,21 +1,23 @@ -#!/bin/bash -# Copyright 2006 Gentoo Foundation +#!/usr/bin/env bash +# Copyright 2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 - -scriptpath="${BASH_SOURCE[0]}" +# $Id$ + +scriptpath=${BASH_SOURCE[0]} +scriptname=${scriptpath%%*/} -if [[ -n ${ESED} ]]; then +if [[ sed == ${scriptname} ]] && [[ -n ${ESED} ]]; then exec ${ESED} "$@" -elif type -P gsed > /dev/null ; then - exec gsed "$@" +elif type -P g${scriptname} > /dev/null ; then + exec g${scriptname} "$@" else old_IFS="${IFS}" IFS=":" for path in $PATH; do - [[ ${path}/sed == $scriptpath ]] && continue - if [[ -x $path/sed ]]; then - exec $path/sed "$@" + [[ ${path}/${scriptname} == ${scriptpath} ]] && continue + if [[ -x ${path}/${scriptname} ]]; then + exec ${path}/${scriptname} "$@" exit 0 fi done |