[buildd-tools-devel] Bug#816326: Bug#816326: schroot: don't fail on 15binfmt with a missing /bin/sh

[Raphael Geissert]

Hi,

On 1 March 2016 at 09:28, Johannes Schauer <josch at debian.org> wrote:
> Quoting Raphael Geissert (2016-02-29 22:44:42)
>> Once upon a time I found a chroot that didn't have a /bin/sh and schroot
>> failed miserably due to a call to binfmt --find on a non-existing file...
>> Attached patch makes 15binfmt test for $shell to be readable.
>
> this sounds like a possible fix for #815175

Oh, I somehow missed that bug report. Yes, the chroot I was talking
about was more or less in a similar state: it was actually a session
that had failed to be cleaned up (EBUSY at some point) and at the
second attempt to end it, 15binfmt failed.

My patch won't fix the 20copyfiles problem, however.

Cheers,
-- 
Raphael Geissert - Debian Developer
www.debian.org - get.debian.net