Chad wrote: > On 09 Jul 2014, at 10:12, Ken Hornstein <[email protected]> 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 [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
