Re: [isabelle] Isabelleâs getsettings somehow broken
Weâve just had the exact same problem yesterday on 2016-RC4 + Ubuntu. Not sure what the resolution was, let me find out.
> On 11 Feb 2016, at 7:30 AM, Joachim Breitner <breitner at kit.edu> wrote:
> 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
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and