summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMattia Rizzolo <mattia@debian.org>2017-08-08 15:59:49 +0200
committerMattia Rizzolo <mattia@debian.org>2017-08-08 16:13:59 +0200
commit9502b3cca108c8d69e987f11b8db91ffde52abf8 (patch)
treeac59fbef409c50aae937125d919e1b223c91bb2b
parenta62bef1446835c4370d9f6c0e13cb75339e764ed (diff)
Avoid storing build timestamps inside some keymap files.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-rwxr-xr-xdebian/gen-acorn-keymaps2
-rwxr-xr-xdebian/trim_keymaps.sh2
2 files changed, 2 insertions, 2 deletions
diff --git a/debian/gen-acorn-keymaps b/debian/gen-acorn-keymaps
index 34a6024..cff6f39 100755
--- a/debian/gen-acorn-keymaps
+++ b/debian/gen-acorn-keymaps
@@ -8,7 +8,7 @@ for k in `find keymaps/i386 -name *.inc` \
`find keymaps/i386 -name *.kmap`; do
ka=`echo $k | sed 's/keymaps/debian\\/tmp\\/usr\\/share\\/keymaps-acorn/'`
mkdir -p `dirname $ka`
- cat $k | /usr/share/console/ps2-to-riscpc 2>/dev/null | gzip > $ka.gz
+ cat $k | /usr/share/console/ps2-to-riscpc 2>/dev/null | gzip -n > $ka.gz
done
diff --git a/debian/trim_keymaps.sh b/debian/trim_keymaps.sh
index 418ecf3..8e126aa 100755
--- a/debian/trim_keymaps.sh
+++ b/debian/trim_keymaps.sh
@@ -5,5 +5,5 @@ echo "Trimming and compressing keymaps in $1 .. "
T=`tempfile`
for keymap in `find $1 -name '*.gz' ` ; do
gunzip < $keymap | grep -av "^#" > $T ;
- gzip < $T > $keymap
+ gzip -n < $T > $keymap
done