Re: [RFC PATCH v1 1/2] src/bin/sman: Add script

["G. Branden Robinson" <g.branden.robinson@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1062 bytes --]

At 2026-01-28T23:02:24+0100, наб wrote:
> On Wed, Jan 28, 2026 at 01:07:30PM -0600, G. Branden Robinson wrote:
> > B) (While the foregoing discusses GNU Bash specifically, I have
> >    read--but not seen a proof, and can't promise that I'd understand
> >    a proof if I saw one--that POSIX shell is undecidable as well,
> >    the "alias" feature being a sufficient condition to produce
> >    thus.)
> 
> If, AIUI, "undecidable" in this case means "the parser depends on the
> execution of the program being parsed", then alias is sufficient do
> ensure this property, but I think it's the only feature that lets you
> inject macros into the parser, or otherwise interact with it directly
> like this.

That sounds plausible to me, and consistent with my occasional,
undisciplined, and inadequate research on the topic.

Shall we organize a movement to get "alias" taken out of POSIX
202y/203x?  I don't care if implementations keep it around, but it sure
seems like a dreadful thing for the standard to _mandate_.

Regards,
Branden

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]