diff options
Diffstat (limited to 'bin/sed')
-rwxr-xr-x | bin/sed | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/bin/sed b/bin/sed deleted file mode 100755 index 6fc545002..000000000 --- a/bin/sed +++ /dev/null @@ -1,28 +0,0 @@ -#!/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 |