The idea behind this patch sounds good to me. I haven't examined the detailed mechanics, though.
- [PATCH] m4sh: always re-exec with $CONFIG_SHELL, if it's... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $CONFIG_SHELL... Paul Eggert
- Re: [PATCH] m4sh: always re-exec with $CONFIG_SHELL... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $CONFIG_S... Paul Eggert
- Re: [PATCH] m4sh: always re-exec with $CONF... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $... Paul Eggert
- Re: [PATCH] m4sh: always re-exec w... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $CONFIG_SHELL... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $CONFIG_S... Paul Eggert
- Re: [PATCH] m4sh: always re-exec with $CONF... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec with $... Stefano Lattarini
- Re: [PATCH] m4sh: always re-exec w... Paul Eggert
