[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $HOME default on w32
From: |
Stefan Monnier |
Subject: |
Re: $HOME default on w32 |
Date: |
Tue, 26 Oct 2004 12:32:31 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/21.3.50 (gnu/linux) |
>> And I dont think the dir is simply C:/Documents and Settings/<user>, it
>> may be C:/Documents and Settings/Application Data/ or C:/Documents and
>> Settings/Local Settings/Application Data/. I am not sure.
> I think there is an environment variable that always points to the
> right directory.
It's USERPROFILE. Read my original message.
Stefan
- $HOME default on w32, Stefan, 2004/10/25
- Re: $HOME default on w32, Lennart Borgman, 2004/10/25
- 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 <=
- 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
- Re: $HOME default on w32, Stefan Monnier, 2004/10/27
- RE: $HOME default on w32, Jay Finger, 2004/10/27
- Re: $HOME default on w32, Lennart Borgman, 2004/10/27
- RE: $HOME default on w32, Jay Finger, 2004/10/28
- Re: $HOME default on w32, Stefan Monnier, 2004/10/27