diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-08-08 15:59:49 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-08-08 16:13:59 +0200 |
commit | 9502b3cca108c8d69e987f11b8db91ffde52abf8 (patch) | |
tree | ac59fbef409c50aae937125d919e1b223c91bb2b | |
parent | a62bef1446835c4370d9f6c0e13cb75339e764ed (diff) |
Avoid storing build timestamps inside some keymap files.
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-rwxr-xr-x | debian/gen-acorn-keymaps | 2 | ||||
-rwxr-xr-x | debian/trim_keymaps.sh | 2 |
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 |