comparison 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
comparison
equal deleted inserted replaced
289:6e6992ccc4b6 290:c9fe270a4101
149 echo "checking environment ..." 149 echo "checking environment ..."
150 150
151 if [ "$HOME" = "" ]; then 151 if [ "$HOME" = "" ]; then
152 echo -n "HOME is not set, rectify?" 152 echo -n "HOME is not set, rectify?"
153 if yorn; then 153 if yorn; then
154 echo "please enter your home path [/winnt/profiles/$userid]" 154 if [ "$OS" = "Windows_NT" ]
155 read HOME junk 155 then
156 if [ "$HOME" = "" ]; then 156 echo "please enter your home path [/winnt/profiles/$userid]"
157 HOME="/winnt/profiles/$userid" 157 read HOME junk
158 if [ "$HOME" = "" ]; then
159 HOME="/winnt/profiles/$userid"
160 fi
161 else
162 echo "please enter your home path [/]"
163 read HOME junk
164 if [ "$HOME" = "" ]; then
165 HOME="/"
166 fi
158 fi 167 fi
168
159 echo "HOME=$HOME; export HOME" >> $HOME/.bashrc 169 echo "HOME=$HOME; export HOME" >> $HOME/.bashrc
160 fi 170 fi
161 else 171 else
162 echo "HOME is $HOME" 172 echo "HOME is $HOME"
163 fi 173 fi
169 fi 179 fi
170 else 180 else
171 echo "TERM is $TERM" 181 echo "TERM is $TERM"
172 fi 182 fi
173 183
174 if echo $CYGWIN32 | grep tty; then 184 if echo $CYGWIN32 | grep -w tty; then
175 echo "CYGWIN32 is $CYGWIN32" 185 echo "CYGWIN32 is $CYGWIN32"
176 else 186 else
177 echo "CYGWIN32 does not contain \"tty\" terminal may be deficient" 187 echo "CYGWIN32 does not contain \"tty\" terminal may be deficient"
178 fi 188 fi