diff options
author | Mattia Rizzolo <mattia@debian.org> | 2017-08-08 15:49:41 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@debian.org> | 2017-08-08 15:49:59 +0200 |
commit | a62bef1446835c4370d9f6c0e13cb75339e764ed (patch) | |
tree | 657c4c6c608bd3f37677b3cc170f9928829b1962 | |
parent | d7ff7fdc053638ce255be50d3324db36ad3e21a2 (diff) |
Avoid creating bogus keymaps under some locales
Some locales trick \`grep\` into thinking the origin file as "binary"; force it to parse it as "text"
Closes: #799871
Thanks: Chris Lamb <lamby@debian.org> for the patch
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
-rwxr-xr-x | debian/trim_keymaps.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/trim_keymaps.sh b/debian/trim_keymaps.sh index 24676d8..418ecf3 100755 --- a/debian/trim_keymaps.sh +++ b/debian/trim_keymaps.sh @@ -4,6 +4,6 @@ echo "Trimming and compressing keymaps in $1 .. " T=`tempfile` for keymap in `find $1 -name '*.gz' ` ; do - gunzip < $keymap | grep -v "^#" > $T ; + gunzip < $keymap | grep -av "^#" > $T ; gzip < $T > $keymap done |