"Build date" information in HTML source

[Sean Fitzpatrick]

I was just replying to an issue posted by Alex where it would have been useful to mention when a particular HTML build was made.

I suspect that this might not be an isolated incident.

In the source for an HTML page, near the top, we have a comment that reads, "Generated from PreTeXt source".  Would it make sense if we also added a line below giving the date on which the HTML was generated? (And maybe which version/commit of PreTeXt?)

[Rob Beezer]

On 6/26/23 13:37, Sean Fitzpatrick wrote:
> In the source for an HTML page, near the top, we have a comment that reads,
> "Generated from PreTeXt source".  Would it make sense if we also added a line
> below giving the date on which the HTML was generated?

No, because then every diff I do will show changes on every single file
including sputious knowls. ;-)

BUT, peek inside "index.html"! A recent one of mine says:

*******************************************
* Generated from PreTeXt source
* on 2023-06-26T07:30:48-07:00
* A recent stable commit (2022-07-01):
* 6c761d3dba23af92cba35001c852aac04ae99a5f
*
* https://pretextbook.org
*
*******************************************

Yes, anything that needs to be done on a regular basis grows cold eventually. ;-)

Automatically putting in a commit became a chicken-and-egg conundrum. You can
find something old on GitHub with some elaborate git wizardry.

You could volunteer to make a monthly PR to update the commit hash? Wouldn't be
too annoying on my end. ;- ;-) ;-)

Rob

[Alex Jordan]

> Automatically putting in a commit became a chicken-and-egg conundrum.  You can

> find something old on GitHub with some elaborate git wizardry.

If it's to work with xsltproc only, it's hard.

If it can all pass through pretext/pretext/pretext, python can establish the commit (assuming there even is one...) and pass that as a stringparam to be written where needed.

--
You received this message because you are subscribed to the Google Groups "PreTeXt development" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pretext-dev...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/pretext-dev/MTAwMDAxMS5iZWV6ZXI.1687812551%40quikprotect.

[Sean Fitzpatrick]

I didn't know it was hiding in index.html -- probably because that page redirects!

But I can view source on some other page and then change the address to see the source for index.html.

Now that I know where to look, I think that's probably suffcient.

[Rob Beezer]

Yep, I figured knowing where it was would not man too many heroics to peek at it.

Would yu llike to add a small thing to the "Developers" section of the
documentation, since it might be useful for folks providing support?

> * https://pretextbook.org <https://pretextbook.org>

> *
> *******************************************
>
> Yes, anything that needs to be done on a regular basis grows cold
> eventually.  ;-)
>
> Automatically putting in a commit became a chicken-and-egg conundrum.
> You can
> find something old on GitHub with some elaborate git wizardry.
>
> You could volunteer to make a monthly PR to update the commit hash?
> Wouldn't be
> too annoying on my end.  ;- ;-) ;-)
>
> Rob
>
> --
> You received this message because you are subscribed to the Google
> Groups "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to pretext-dev...@googlegroups.com.
> To view this discussion on the web visit

> https://groups.google.com/d/msgid/pretext-dev/MTAwMDAxMS5iZWV6ZXI.1687812551%40quikprotect <https://groups.google.com/d/msgid/pretext-dev/MTAwMDAxMS5iZWV6ZXI.1687812551%40quikprotect>.

>
> --
> You received this message because you are subscribed to the Google Groups
> "PreTeXt development" group.
> To unsubscribe from this group and stop receiving emails from it, send an email
> to pretext-dev...@googlegroups.com

> <mailto:pretext-dev...@googlegroups.com>.

> To view this discussion on the web visit

> https://groups.google.com/d/msgid/pretext-dev/1ff88e67-796d-4dd3-9cf2-1e76f421217fn%40googlegroups.com <https://groups.google.com/d/msgid/pretext-dev/1ff88e67-796d-4dd3-9cf2-1e76f421217fn%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Sean Fitzpatrick]

I can put it on my to-do list. Vacation starts tomorrow so it won't be any time soon.

To view this discussion on the web visit https://groups.google.com/d/msgid/pretext-dev/MTAwMDAxMi5iZWV6ZXI.1688092469%40quikprotect.