> On Jun 2, 2023, at 7:38 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > > "brian m. carlson" <sandals@xxxxxxxxxxxxxxxxxxxx> writes: > >> On 2023-06-02 at 16:14:47, Priedhorsky, Reid wrote: >>> Hello Brian, >>> >>> I do wonder if the behavior would be worth documenting, e.g. at >>> https://urldefense.com/v3/__https://git-scm.com/book/en/v2/Git-Internals-Environment-Variables__;!!Bt8fGhp8LhKGRg!CTLDK9n1pGJTODDrapV9r_JrypUCk5A_v4w7bz6GgCTz8_sg91kpz2ID1NRptCjG2bUMiJ6ftC-PlM4$ , >>> where Git’s relationship to $HOME is also documented. I would be happy >>> to submit a pull request. >> >> I don't think it's necessary, since it's expected behaviour for me, but >> I am not the only person on this list, and perhaps others would >> appreciate a patch. > > I tend to agree that it is an expected behaviour. In addition, > unsetting PATH is not something people deliberately do every day > without understanding its implications, so I would rather not see us > add "if you do this esteric thing, this would happen" for them. > > Thanks. Thank you; that sounds like a consensus. To be clear though, we didn’t unset $PATH on purpose. We found unexpected behavior and tracked it down to a bug that cleared the environment, including $PATH. Thanks, Reid — he/his
