Re: Request for change to /etc/profile

[CyberZombie <Cyber dot Zombie at comcast dot net>]

Or 'mkdir -p "$HOME"'...

luke.kendall@cisra.canon.com.au wrote:

> 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/
>
>
>  


--
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/