1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
Description: Honour SOURCE_DATE_EPOCH
Get date from the environment variable SOURCE_DATE_EPOCH (when set),
to build output timestamps.
See https://reproducible-builds.org/specs/source-date-epoch/
Author: Alexis Bienvenüe <pado@passoire.fr>
Index: gnuplot-5.0.5/term/post.trm
===================================================================
--- gnuplot-5.0.5.orig/term/post.trm
+++ gnuplot-5.0.5/term/post.trm
@@ -1657,15 +1657,45 @@ end\n\
int i;
time_t now;
char *timedate;
-
+ char *source_date_epoch;
+ unsigned long long epoch;
+ char *endptr;
+
ps_common_uses_fonts = uses_fonts;
ps_common_xoff = xoff;
ps_common_yoff = yoff;
ps_page = 0;
- time(&now);
- timedate=asctime(localtime(&now));
+ /* get source date from environment variable SOURCE_DATE_EPOCH, if set.
+ See https://reproducible-builds.org/specs/source-date-epoch/ */
+ source_date_epoch = getenv("SOURCE_DATE_EPOCH");
+ if (source_date_epoch) {
+ errno = 0;
+ epoch = strtoull(source_date_epoch, &endptr, 10);
+ if ((errno == ERANGE && (epoch == ULLONG_MAX || epoch == 0))
+ || (errno != 0 && epoch == 0)) {
+ fprintf(stderr, "Environment variable $SOURCE_DATE_EPOCH: strtoull: %s\n", strerror(errno));
+ exit(EXIT_FAILURE);
+ }
+ if (endptr == source_date_epoch) {
+ fprintf(stderr, "Environment variable $SOURCE_DATE_EPOCH: No digits were found: %s\n", endptr);
+ exit(EXIT_FAILURE);
+ }
+ if (*endptr != '\0') {
+ fprintf(stderr, "Environment variable $SOURCE_DATE_EPOCH: Trailing garbage: %s\n", endptr);
+ exit(EXIT_FAILURE);
+ }
+ if (epoch > ULONG_MAX) {
+ fprintf(stderr, "Environment variable $SOURCE_DATE_EPOCH: value must be smaller than or equal to: %lu but was found to be: %llu \n", ULONG_MAX, epoch);
+ exit(EXIT_FAILURE);
+ }
+ now = epoch;
+ timedate=asctime(gmtime(&now));
+ } else {
+ time(&now);
+ timedate=asctime(localtime(&now));
+ }
timedate[strlen(timedate)-1]='\0';
#ifdef PSLATEX_DRIVER
|
