Re: [isabelle] Isabelleʼs getsettings somehow broken
On Wed, 10 Feb 2016, Gerwin Klein wrote:
Weʼve just had the exact same problem yesterday on 2016-RC4 + Ubuntu.
Not sure what the resolution was, let me find out.
I am definitely interested in that. So far my impression is that only
Debian-testing has that dangerous version of dash-0.5.8, see also
The longer I think about it, the less I like it: on a system where with
/bin/sh -> dash the "export -f" feature of bash is effectively destroyed,
since /bin/sh -c happen in many tools and libraries.
This archive was generated by a fusion of
Pipermail (Mailman edition) and