Re: [isabelle] Isabelleâs getsettings somehow broken


Am Mittwoch, den 10.02.2016, 20:49 +0100 schrieb Makarius:
> Next time I will try harder to circumvent /bin/sh, if that
> is at all possible. (Not for Isabelle2016, though.)

are we sure there is nothing we can do? In the current state,
Isabelle2016 will not be easily usable on future Debian and Ubuntu
releases without root access and rather low level modificationsÂ.

One way out might be to follow the advice that I procured here:
This way, you can avoid the call to /bin/sh in the problematic part
src/Pure/Concurrent/bash.ML. Iâm not sure if this is available on


 The instructions could be something like:
    $ sudoÂdpkg-reconfigure dash
    and answer the question with "no". Then ensure that the symbolic
    link /bin/sh points to /bin/bash.

Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.