This is the mail archive of the cygwin mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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
>  >38,39c38
>  >< if [ ! -d "$HOME" ] && mkdir "$HOME"
>  >< then
>  >---
> >  
>  >
>  >>if [ ! -d "$HOME" ]; then

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/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]