Re: [Gnu-arch-users] Re: tagline robustness

[Juri Linkov]

wave++ <address@hidden> writes:
> You wrote:
> > I suggest that it could be better and safer if arch tag had a form
> > similar to RCS tag ($Id$, $Header$, etc.).  Even though RCS tags
> > have different purposes, their format should be taken by arch tags.
> > In this case arch tags will look like:
> > 
> >    For a C file:
> > 
> >      /* $Arch: 53bb84c6-dee0-46c6-a275-2db144993d89$ */
> >    or
> >      static char archid[] = "$Arch: 53bb84c6-dee0-46c6-a275-2db144993d89$";
> 
> It would be nice to support different separators besides "$". Actually $
> breaks many scripting languages and imposes that you should be able to
> disable it in this case.

The arch tag will become more ambiguous with different separators.

But there is nothing wrong with using only $, because it can be
easily quoted in scripting languages.  And the $ character is used
by RCS quite a long time and has no problem with it.

> [wow, gnu mail servers are LAGGED, about 7 hours of delay...]

It's not too much: seems, on peak they lagged by about 2 days.

-- 
http://www.jurta.org/emacs/