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.

Cheers,
Gerwin


> On 11 Feb 2016, at 7:30 AM, Joachim Breitner <breitner at kit.edu> wrote:
>
> Hi,
>
> 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:
> http://stackoverflow.com/a/35324612/946226
> 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
> Windows.
>
> Greetings,
> Joachim
>
>
>
>
> Â The instructions could be something like:
>    Run
>    $ 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
> http://pp.ipd.kit.edu/~breitner
>


________________________________

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 MHonArc.