[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
: seems to typically point to C:/Documents and Files/<user> which is about
: close to a "home directory" as it gets?

Good idea!

reply via email to

[Prev in Thread] Current Thread [Next in Thread]