Re: Porterbox - impossible efficient debugging?
Le mardi 13 août 2024 à 15:54 +0500, Andrey Rakhmatullin a écrit :
> On Tue, Aug 13, 2024 at 12:15:22PM +0200,
> julien.puydt@gmail.com wrote:
> > And of course, this is where I came to my wits' end: I can compile
> > the
> > new elpi successfully... but I have no way to install this new elpi
> > binary packages in the schroot to test it against different coq-
> > elpi!
>
> Yes, the usual recommendations are "unpack and try pointing to it via
> stuff like LD_LIBRARY_PATH, hopefully such stuff exists for your
> case".
It doesn't: it's a mix of languages. C, OCaml, elpi and Coq I would
say.
> Consider using local qemu chroots instead.
>
I'd like a one-page easy-to-use tutorial on this. In fact, my
question/proposition was to have scripts making it trivial to use.
> > dd-cross-schroot-cmd -s $sessionid -a $targetarch apt-get install
> > ./*foo*_3.14-159_$targetarch.deb
>
> This still runs random code as root.
>
I don't think running random code as root in a virtual environment I'm
going to delete before the end of the day is a security issue.
Cheers,
J.Puydt
Reply to: