diff etc/check_cygwin_setup.sh @ 290:c9fe270a4101 r21-0b43

Import from CVS: tag r21-0b43
author cvs
date Mon, 13 Aug 2007 10:36:47 +0200
parents e11d67e05968
children 341dac730539
line wrap: on
line diff
--- a/etc/check_cygwin_setup.sh	Mon Aug 13 10:35:55 2007 +0200
+++ b/etc/check_cygwin_setup.sh	Mon Aug 13 10:36:47 2007 +0200
@@ -151,11 +151,21 @@
 if [ "$HOME" = "" ]; then
     echo -n "HOME is not set, rectify?"
     if yorn; then
-	echo "please enter your home path [/winnt/profiles/$userid]"
-	read HOME junk
-	if [ "$HOME" = "" ]; then
-	    HOME="/winnt/profiles/$userid"
+	if [ "$OS" = "Windows_NT" ]
+	then
+	    echo "please enter your home path [/winnt/profiles/$userid]"
+	    read HOME junk
+	    if [ "$HOME" = "" ]; then
+		HOME="/winnt/profiles/$userid"
+	    fi
+	else
+	    echo "please enter your home path [/]"
+	    read HOME junk
+	    if [ "$HOME" = "" ]; then
+		HOME="/"
+	    fi
 	fi
+
 	echo "HOME=$HOME; export HOME" >> $HOME/.bashrc
     fi
 else 
@@ -171,7 +181,7 @@
     echo "TERM is $TERM"
 fi
 
-if echo $CYGWIN32 | grep tty; then
+if echo $CYGWIN32 | grep -w tty; then
     echo "CYGWIN32 is $CYGWIN32"
 else 
     echo "CYGWIN32 does not contain \"tty\" terminal may be deficient"