On 06/11/2010 01:49 PM, Jim Meyering wrote:
Here's a patch that does that at the expense of using shell functions*before* guaranteeing we have a decent shell. I think that is ok, these days.
Yes, it is. There may be bugs in the implementation of shell functions, but IMO assuming the shell functions are parsed okay is pretty basic. And Exit is trivial enough to assume it also works.
Paolo