4 Feb
2015
4 Feb
'15
10:25 p.m.
On 04/02/15 17:59, Martin Holmes wrote:
The actual plugin download file name includes the date and time of the build:
http://teijenkins.hcmc.uvic.ca/job/oxygen-tei/
but I take your point; if it wasn't for the inherent horribleness of github identifiers I'd agree. [snip]
Ok, I take your point here. How about (for our development version only) we give the version as a dateTime? That way it will always be bigger, and make human-readable sense? Also doesn't matter then if the change is coming from github or svn. It would be the dateTime at the point the zip is made and then that copied into the update file. Make sense? -James -- Dr James Cummings, James.Cummings@it.ox.ac.uk Academic IT Services, University of Oxford