Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread Deri
On Sunday, 9 July 2023 19:26:36 BST Colin Watson wrote: > On Sun, Jul 09, 2023 at 07:13:54PM +0100, Deri wrote: > > It looks Ok, not tested. I'm happy for you to apply. > > Thanks. > > > Once gropdf moves to the font subsetting version it will cause a > > problem for reproducible builds, since

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread Colin Watson
On Sun, Jul 09, 2023 at 07:13:54PM +0100, Deri wrote: > It looks Ok, not tested. I'm happy for you to apply. Thanks. > Once gropdf moves to the font subsetting version it will cause a > problem for reproducible builds, since the gubbins inside the pdf > changes enormously, but it should look

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread Colin Watson
On Sun, Jul 09, 2023 at 11:59:04AM -0500, G. Branden Robinson wrote: > At 2023-07-09T13:24:27+0100, Colin Watson wrote: > > On Sun, Jul 09, 2023 at 02:42:55AM +0100, Colin Watson wrote: > > > So, how about the attached patch? > > > > I somehow neglected to update doc/groff.texi. Here's an

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread Deri
On Sunday, 9 July 2023 17:59:04 BST G. Branden Robinson wrote: > [adding Deri to CC] > > At 2023-07-09T13:24:27+0100, Colin Watson wrote: > > On Sun, Jul 09, 2023 at 02:42:55AM +0100, Colin Watson wrote: > > > So, how about the attached patch? > > > > I somehow neglected to update

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread G. Branden Robinson
[adding Deri to CC] At 2023-07-09T13:24:27+0100, Colin Watson wrote: > On Sun, Jul 09, 2023 at 02:42:55AM +0100, Colin Watson wrote: > > So, how about the attached patch? > > I somehow neglected to update doc/groff.texi. Here's an updated > version. I have no objection to this patch. I think

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-09 Thread Colin Watson
On Sun, Jul 09, 2023 at 02:42:55AM +0100, Colin Watson wrote: > So, how about the attached patch? I somehow neglected to update doc/groff.texi. Here's an updated version. -- Colin Watson (he/him) [cjwat...@debian.org] >From 522c4beb20414e8ceb6b321bbc96df6f35a81a10

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2023-07-08 Thread Colin Watson
On Tue, Dec 29, 2020 at 03:15:35PM +1100, G. Branden Robinson wrote: > This issue is still open and tagged as a blocker for release, however. > To resolve it we should settle on the time zone semantics of the system > time retrieved by groff components (the formatter, the output drivers). > We

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-28 Thread G. Branden Robinson
I've made groff's build as reproducible as I can get it, as noted in the comments to Savannah #57218[1]. The fix to pdfroff turned out to be gentle and simple--just stop telling it to preserve temporary files during the groff build. That neatly reduced the size of a build diff by 99%. What

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-23 Thread Colin Watson
On Tue, Dec 22, 2020 at 01:29:44PM +, Deri wrote: > Please can someone explain why reproducible builds are important. Hi, It's probably best to simply refer you to https://reproducible-builds.org/ for general motivation, and then you can come back with any questions you have. > What is the

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-22 Thread Deri
On Tuesday, 22 December 2020 03:41:14 GMT G. Branden Robinson wrote: > > I may be misunderstanding something here, apologies if I am. > > No, I appreciate you speaking up--I welcome critical evaluation of my > suggestions, especially in cases like this where I haven't carved out > enough time to

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread Wim Stockman
Hello fellow groffers, As a consumer , archiver of pdf documents, image files and others. I'm confronted with all that goes wrong when trying to keep systemdates of file synced and keep the same as the original creation date. I've had so many issues with systemdates that or wrongly set , or a

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread G. Branden Robinson
At 2020-12-21T23:33:18+, Deri wrote: > On Sunday, 20 December 2020 06:10:25 GMT G. Branden Robinson wrote: > > 2. Switch output of date comments embedded by output drivers off by > > default, and add a common option to reënable them. Document this in > > NEWS. > > 3a. Add a

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread Deri
On Tuesday, 22 December 2020 00:24:15 GMT Dave Kemper wrote: > Are there cases where the timestamp within the file would differ from > the timestamp *of* the file? This typically happens when a file is > edited after it's created -- which could be common with HTML output, > but would seem to be

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread Dave Kemper
On 12/21/20, Deri wrote: > Consider the case where multiple -Z produced groff files, > produced at different times, are combined into one gropdf run. The only > sensible time to include > in the meta-data is the time the pdf was created, why lose potentially > useful information? If you need to

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread Deri
On Sunday, 20 December 2020 06:10:25 GMT G. Branden Robinson wrote: > 2. Switch output of date comments embedded by output drivers off by > default, and add a common option to reënable them. Document this in > NEWS. > 3a. Add a device-independent output command, something like "x >

Re: [PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-21 Thread Dave Kemper
On 12/20/20, G. Branden Robinson wrote: > Thoughts from anyone reading? I concur with all points of this plan.

[PROPOSAL] time zones and reproducible builds (was: How to make groff use local timezone?)

2020-12-19 Thread G. Branden Robinson
At 2020-12-16T10:54:40+, Colin Watson wrote: > On Wed, Dec 16, 2020 at 11:35:12AM +1100, G. Branden Robinson wrote: > > What do people think about a GROFF_USE_UTC environment variable that > > causes troff to call gmtime() instead of localtime()? > > How would this differ from just setting