From: R. Steve McKown Date: Sat, 24 Apr 2010 01:32:09 +0000 (-0600) Subject: Use HOME instead of tilde. Consistent use of quotes around TOSCFG. X-Git-Tag: release/2.1.0-4.2 X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=commitdiff_plain;h=a23236ff86e4f2b914a8ad5951527ac7ff4f3fac Use HOME instead of tilde. Consistent use of quotes around TOSCFG. --- diff --git a/tinyos.sh b/tinyos.sh index 71b09609..a41c7e53 100644 --- a/tinyos.sh +++ b/tinyos.sh @@ -5,7 +5,7 @@ # and may source again at any time to change which installed TinyOS source # tree their code shall be built against. -TOSCFG=~/.tosrc +TOSCFG="$HOME/.tosrc" TOSBASE=/opt/tinyos RCFILES="$HOME/.bashrc $HOME/.shrc $HOME/.kshrc $HOME/.cshrc $ENV" @@ -101,7 +101,7 @@ elif [ "$(basename -- $0)" = tinyos.sh ]; then # Operations below here cannot be executed in a sub-shell echo "tinyos: must be sourced" elif [ "$1" = "-u" ]; then - if [ -f $TOSCFG ]; then + if [ -f "$TOSCFG" ]; then uninstallshrc updclasspath "$TOSROOT" "" unset TOSROOT TOSDIR MAKERULES