[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Nmh-workers] nmh 1.6 -- proper comment char in .mh_profile?
From: |
David Levine |
Subject: |
Re: [Nmh-workers] nmh 1.6 -- proper comment char in .mh_profile? |
Date: |
Thu, 10 Jul 2014 13:25:00 -0400 |
Chad wrote:
> On 09 Jul 2014, at 10:12, Ken Hornstein <address@hidden> 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
- Re: [Nmh-workers] nmh 1.6 -- proper comment char in .mh_profile?,
David Levine <=