#! /bin/sh TYPE=$1 echo "" echo "update-freewrl ------------------------- rev: 2008/11/22" echo -n "setup proxy? [y/N] "; read PROXY; ans=n if [ "$PROXY" == 'y' ] || [ "$PROXY" == 'Y' ] ; then echo -n "http_proxy "; if [ -n "$http_proxy" ] ; then echo -n "[$http_proxy] : "; else echo -n ": "; fi read hprox; if [ -n "$hprox" ] ; then http_proxy=$hprox; fi else http_proxy= fi echo "downloading update-freewrl-run.sh:" if [ "$PROXY" == 'y' ] || [ "$PROXY" == 'Y' ] ; then export http_proxy=$http_proxy; wget --proxy=on -nv -U explorer -O update-freewrl-run.sh http://www.tailwind-live.org/freewrl/update-freewrl-run.sh else wget --proxy=off -nv -U explorer -O update-freewrl-run.sh http://www.tailwind-live.org/freewrl/update-freewrl-run.sh fi if [ -f update-freewrl-run.sh ] ; then chmod 755 update-freewrl-run.sh echo "running './update-freewrl-run.sh $*' " ./update-freewrl-run.sh $* http_proxy=$http_proxy fi