This is the mail archive of the
mailing list for the Cygwin project.
Re: 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 18:30:45 +1000 (EST)
- Subject: Re: Request for change to /etc/profile
On 21 Sep, CyberZombie wrote:
> Or 'mkdir -p "$HOME"'...
No, that would do entirely the wrong thing!
If the place where /home is supposed to be mounted hasn't been mounted,
the last thing you want to do is create an alternate /home.
I can imagine the weird problems and reports ("all my files
disappeared!"), that doing mkdir -p would cause!
My change means that if you can't make the user directory, you just
don't try to create the skeleton files in it for them.
> >$ diff /etc/profile /etc/profile.orig
> >< if [ ! -d "$HOME" ] && mkdir "$HOME"
> >< then
> >>if [ ! -d "$HOME" ]; then
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
Problem reports: http://cygwin.com/problems.html