Re: Git changes permissions on directories when deleting files.
- From
Chad Joan <chadjoan@gmail.com>
- Date
- Mar 1, 2011, 20:46 UTC
- Message-ID
- <AANLkTi=UX7VNH+biFgn0FQawP-ttCjW2D7SMf2n6XB6w@mail.gmail.com>
- In-Reply-To
- <vpqmxlea7w1.fsf@bauges.imag.fr>
On Tue, Mar 1, 2011 at 3:43 PM, Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> wrote:
Show 19 quoted lines
> Chad Joan <chadjoan@gmail.com> writes:
>
>> I'll do that, but it will probably take a long long time for me to see
>> the patch. I'm hoping there's some cheap hack I can use to work
>> around it in the meantime.
>
> I'd say grep for "rmdir" is Git's source code, and replace the calls
> with a wrapper that does roughly
>
> rmdir_wrapper(dir) {
> rmdir(dir);
> if (stat(dir, &buf))
> chmod(dir, buf.st_mode | 0777);
> }
>
> --
> Matthieu Moy
> http://www-verimag.imag.fr/~moy/
>OK, I'll try that when I get a chance.
- Chad