fi
for arg in "$@";do
# http://sourceware.org/ml/gdb-cvs/2099-99/msg99999.html
+ if [ "$arg" != "${arg#http://sources.redhat.com/}" ];then
+ arg="http://sourceware.org/${arg#http://sources.redhat.com/}"
+ fi
if [ "$arg" != "${arg#http://sourceware.org/ml/}" -a "$arg" != "${arg%.html}" ];then
echo >&2 -n '*'
echo "$arg"