← Back to team overview

dolfin team mailing list archive

Re: Development question - modified-headers in source files

 

On Tue, Aug 21, 2012 at 01:01:50PM +0200, Martin Sandve Alnæs wrote:
> On 21 August 2012 11:05, Joachim Berdal Haga <jobh@xxxxxxxxx> wrote:
> > On 21 August 2012 10:52, Johan Hake <hake.dev@xxxxxxxxx> wrote:
> >> not sure what the correct policy is but for emacs users one can use
> >> these macros (I think Anders first handed them) to change the time stamp
> >> when saving the file.
> >
> > To placate the emacs users, here's a thingy that prints the relevant
> > bzr information when "print screen" is pressed:
> >
> > (defun bzr-shortlog () (interactive)
> >   (shell-command (concat "bzr log --include-merged --line " (buffer-name))))
> > (global-set-key [print] 'bzr-shortlog)
> >
> > [ I'd put a smiley here, but it looks too much like elisp... ]
>
> :-)
>
> I agree very much with Joachim here, I've never been able to
> consistently remember to update these dates, and I'm not alone in that
> so I've never trusted them. Whenever I wonder when a file was last
> changed, I'll ususally want to know what changed as well anyway.

I want to keep the dates. I think it's useful information and easy to
get the editor to update.

--
Anders


References