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`
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
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`