blob: 6fc5450021c748387736d3984470f7105d15ddb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#!/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
|
