#!/bin/bash # Copyright 2007 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ scriptpath=${BASH_SOURCE[0]} scriptname=${scriptpath##*/} if [[ sed == ${scriptname} ]] && [[ -n ${ESED} ]]; then exec ${ESED} "$@" elif type -P g${scriptname} > /dev/null ; then exec g${scriptname} "$@" else old_IFS="${IFS}" IFS=":" for path in $PATH; do [[ ${path}/${scriptname} == ${scriptpath} ]] && continue if [[ -x ${path}/${scriptname} ]]; then exec ${path}/${scriptname} "$@" exit 0 fi done IFS="${old_IFS}" fi exit 1