Or 'mkdir -p "$HOME"'...
[EMAIL PROTECTED] 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/
