Use HOME instead of tilde. Consistent use of quotes around TOSCFG.

[tinyos-2.x.git] / tinyos.sh

diff --git a/tinyos.sh b/tinyos.sh
index 71b0960934764d45f9695482f830f9b1896d93f7..a41c7e53cc263101d96660a28d99b0023e460178 100644 (file)
--- 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