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