Chad wrote:
On 09 Jul 2014, at 10:12, Ken Hornstein <kenh(_at_)pobox(_dot_)com> wrote:
Now technically #: is creating a profile entry for a command called `#',
but we recognize that as special and ignore duplicates of it.
Forgive the comment from the peanut gallery, but if the code is
already handling ^# specially, why not go all the way and make it
a comment character? Is there a use for supporting #foo as a command?
No, there's no use for that. It was done because it was simple
to implement given the way that the profile is parsed.
A leading : (optionally preceeded by whitespace, I think) could
be used if you want a single character indicator for a comment line.
David
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers