Re: [isabelle] Isabelleâs getsettings somehow broken

> An alternative is to modify Poly/ML to use /bin/bash or getenv(SHELL)
> instead of hardwired /bin/sh -- that would be a typical Debianistic patch.

getenv(SHELL), falling back on /bin/sh by default is a very custom
behaviour and would make sense; nevertheless the user still has the
burden of setting SHELL explicitly in case of problems.

A technical alternative could also to implement a separate encoding of
shell functions into the environment using plain variable names. e.g.

function l {
    ls -lAX --file-type --group-directories-first --color=auto "$@"

export FUN_L="$(LANG= type l | { read; cat; })"

and later

eval "$(echo $FUN_L)"

Don't know whether this is a good idea.



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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