This website works better with JavaScript.
Home
Help
Sign In
jackaudio
/
jack2
mirror of
https://github.com/jackaudio/jack2
Watch
1
Star
0
Fork
0
Code
Releases
45
Activity
Browse Source
allow to use source date for man page generation
this enables making reproducible builds of this package
tags/v1.9.11-RC1
Bernhard M. Wiedemann
9 years ago
parent
2fa0a35036
commit
f61bdd80a1
1 changed files
with
3 additions
and
1 deletions
Split View
Diff Options
Show Stats
Download Patch File
Download Diff File
+3
-1
man/fill_template
+ 3
- 1
man/fill_template
View File
@@ -1,5 +1,7 @@
#!/bin/sh
d=""
[ -z "$SOURCE_DATE_EPOCH" ] || d=--date=@$SOURCE_DATE_EPOCH
for i in *.0 ; do
sed -e "s/!VERSION!/${1}/g" -e "s/!DATE!/`date '+%B %Y'`/g" < ${i} > ${i%%0}1
sed -e "s/!VERSION!/${1}/g" -e "s/!DATE!/`date
$d
'+%B %Y'`/g" < ${i} > ${i%%0}1
done
Write
Preview
Loading…
Cancel
Save