This is the mail archive of the
cygwin
mailing list for the Cygwin project.
Request for change to /etc/profile
- From: luke dot kendall at cisra dot canon dot com dot au
- To: cygwin at cygwin dot com
- Date: Wed, 22 Sep 2004 12:31:31 +1000 (EST)
- Subject: Request for change to /etc/profile
Could /etc/profile please get a small change? Could it check that
mkdir $HOME works?
Our situation is that for laptops, the /home area exists on a PGP
mounted disc. But if a user isn't logged in, then this area doesn't
exist, and you can't mount any home drives.
So if you slogin to the machine, you get a lot of erroneous actions
from the body of that "if" statement.
$ diff /etc/profile /etc/profile.orig
38,39c38
< if [ ! -d "$HOME" ] && mkdir "$HOME"
< then
---
> if [ ! -d "$HOME" ]; then
Regards,
luke
--
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html
Documentation: http://cygwin.com/docs.html
FAQ: http://cygwin.com/faq/