Mail Archives: cygwin/2003/04/30/11:49:17
On Wed, 30 Apr 2003, Pierre A. Humblet wrote:
> Igor,
>
> > Actually, the default /etc/profile simply sets $HOME to /home/$USER.
>
> I don't think that's true anymore. /etc/profile should contain an
> explanation of how HOME is set (it is always set by Cygwin).
>
> I am not in a position to check, hence the personnal
> message to avoid spreading confusion.
>
> Pierre
Pierre,
(getting this back onto the list)
Yep, you're quite right. I was looking at my own (heavily edited)
/etc/profile, forgetting that it wouldn't have been overwritten by newer
versions on upgrade.
The following is from /etc/defaults/etc/profile in base-files-1.3-1:
# Here is how HOME is set, in order of priority, when starting from Windows
# 1) From existing HOME in the Windows environment, translated to a Posix path
# 2) from /etc/passwd, if there is an entry with a non empty directory field
# 3) from HOMEDRIVE/HOMEPATH
# 4) / (root)
So, I apologize for the misinformation. Thanks for the correction.
Igor
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ pechtcha AT cs DOT nyu DOT edu
ZZZzz /,`.-'`' -. ;-;;,_ igor AT watson DOT ibm DOT com
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
Knowledge is an unending adventure at the edge of uncertainty.
-- Leto II
--
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/
- Raw text -