On Mon, 31 Jul 2017 09:42:37 -0700 (PDT) vitalije <vitali...@gmail.com> wrote:
> > > > > > > > As an aside, Vitalije, I see you don't have the git commit hooks > > > that update the build number for Leo - a1043408d36f is more > > > recent than 20170721094758. > > > > > > Cheers -Terry > > > > > > > I am not aware of this hooks. How can I install them? > Vitalije I had tried the search function on https://leo-editor.github.io/leo-editor/ to provide a link, but didn't find anything. Anyway, in your leo folder you copy leo/extensions/hooks/commit-msg and leo/extensions/hooks/pre-commit to .git/hooks On every commit, this updates leo/core/commit_timestamp.json and adds something like Leo build: 20170721094758 to the end of your commit log messages. Most mailing list regulars use git hashes, but this date based build ID is useful - while Edward insists only git users can use Leo ;-) I point newcomers to the simple .zip file download https://github.com/leo-editor/leo-editor/archive/master.zip (from https://leo-editor.github.io/leo-editor/download.html) which doesn't contain the commit hash. Also having the correct build date/time is good when you want to know if you're using what Vitalije did this morning, or Friday afternoon ;-) 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
