Le 09/08/2019 à 06:57, Stéphane Glondu a écrit :
>> Is there an easy way for you to tell me what the name or contents of
>> the errant file is ?
>
> The file must be debian/source/format, as it is the only file in that
> directory.
>
>> Eg, maybe adding END { sleep 100; } somewhere
>
> I added "sleep 100;" before the offending call to rmtree (line 2721).
> Then "ls -l /proc/$PID_OF_DGIT/fd" reveals that the debian/source/format
> is indeed open (with stdio, /dev/null and /usr/share/perl5/JSON.pm).
Adding "close F;" to line 4023 of /usr/bin/dgit (before chomp) seems to
fix the bug.
Cheers,
--
Stéphane
