So to finish up, if a dev. installs the hooks in
leo/extensions/hooks/ (with or without the
leo/extensions/hooks/install_hooks.py script), their commits will
update the content of leo/core/commit_timestamp.json automagically.
{
"asctime": "Thu Aug 14 16:10:38 2014",
"parent": "a69585e26f8162e652bee9eb6d982e55ec615e0e",
"timestamp": "20140814161038"
}
But someone (Jacob?) still needs to update the code which prints the
build info. in the log window so that it displays that timestamp as the
Leo build ID.
The point of this is that leo/extensions/hooks/install_hooks.py is
always present, whereas .git is not present when the user gets the
latest code via the snapshot. The user of a timestamp rather than
a sha1 for the build ID is ok I think, a very minor burden for
developers, and simpler for everyone else.
Cheers -Terry
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
