Re: [PATCH 8/8] dir: avoid removing the current working directory

From: Philip Oakley <philipoakley@iee.email>
Date: Nov 24, 2021, 14:33 UTC
Message-ID: <bf9b547d-f421-49f7-9dc5-cc1f81187127@iee.email>
In-Reply-To: <211124.86wnkxdbza.gmgdl@evledraar.gmail.com>

On 24/11/2021 11:14, Ævar Arnfjörð Bjarmason wrote:

Show 5 quoted lines

> I'm not concerned that you didn't research this change well enough, I
> just find it a bit iffy to introduce semantics in git around FS
> operations that don't conform with that of POSIX & the underlying OS. My
> *nix system happily accepts an "rm -rf" or an "rmdir" of the directory
> I'm in, I'd expect git to do the same.

Isn't this the same, conceptually, as trying to remove the root directory, but from a Git perspective?

i.e. Something along the lines of https://superuser.com/questions/542978/is-it-possible-to-remove-the-root-directory (their answer is 'no' without a special option, default since 2006)

If I read the arguments correctly, Elijah is saying that Git shouldn't delete it's own root (cwd) directory, and that it is already implicit within the current Git code.

Philip