Request for change to /etc/profile

[CyberZombie]

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/