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.

Cheers,
	Florian

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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