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/
