From a23236ff86e4f2b914a8ad5951527ac7ff4f3fac Mon Sep 17 00:00:00 2001
From: "R. Steve McKown" <rsmckown@gmail.com>
Date: Fri, 23 Apr 2010 19:32:09 -0600
Subject: [PATCH] Use HOME instead of tilde.  Consistent use of quotes around
 TOSCFG.

---
 tinyos.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2