[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $HOME default on w32
From: |
Lennart Borgman |
Subject: |
Re: $HOME default on w32 |
Date: |
Mon, 25 Oct 2004 17:06:10 +0200 |
----- Original Message -----
From: "Stefan" <address@hidden>
: It seems that on w32, if HOME is not defined we default it to C:/.
: Wouldn't it make more sense to default it to $USERPOFILE (if set) which on
XP
: seems to typically point to C:/Documents and Files/<user> which is about
as
: close to a "home directory" as it gets?
Good idea!
- $HOME default on w32, Stefan, 2004/10/25
- Re: $HOME default on w32,
Lennart Borgman <=
- Re: $HOME default on w32, CHENG Gao, 2004/10/25
- Re: $HOME default on w32, Stefan Monnier, 2004/10/25
- Re: $HOME default on w32, Stefan Daschek, 2004/10/25
- Re: $HOME default on w32, Kai Grossjohann, 2004/10/26
- Re: $HOME default on w32, Stefan Monnier, 2004/10/26
- RE: $HOME default on w32, Jay Finger, 2004/10/26
- Re: $HOME default on w32, Stefan Monnier, 2004/10/26
- Re: $HOME default on w32, Stephan Stahl, 2004/10/27
- Re: $HOME default on w32, Cheng Gao, 2004/10/27
- Re: $HOME default on w32, Lennart Borgman, 2004/10/27