Re: [PATCH v5 1/3] Allow deriving the current user's home directory via the HOME variable

2023-04-04 Thread Johannes Schindelin
Hi Corinna, On Mon, 3 Apr 2023, Corinna Vinschen wrote: > On Apr 3 16:44, Johannes Schindelin wrote: > > This patch hails from Git for Windows (where the Cygwin runtime is used > > in the form of a slightly modified MSYS2 runtime), where it is a > > well-established technique to let the `$HOME`

Re: [PATCH v5 1/3] Allow deriving the current user's home directory via the HOME variable

2023-04-03 Thread Corinna Vinschen
On Apr 3 16:44, Johannes Schindelin wrote: > This patch hails from Git for Windows (where the Cygwin runtime is used > in the form of a slightly modified MSYS2 runtime), where it is a > well-established technique to let the `$HOME` variable define where the > current user's home directory is, fall

[PATCH v5 1/3] Allow deriving the current user's home directory via the HOME variable

2023-04-03 Thread Johannes Schindelin
This patch hails from Git for Windows (where the Cygwin runtime is used in the form of a slightly modified MSYS2 runtime), where it is a well-established technique to let the `$HOME` variable define where the current user's home directory is, falling back to `$HOMEDRIVE$HOMEPATH` and `$USERPROFILE`