1 files changed, 9 insertions, 0 deletions
diff --git a/debian/trim_keymaps.sh b/debian/trim_keymaps.sh
new file mode 100755
index 0000000..24676d8
--- /dev/null
+++ b/debian/trim_keymaps.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+echo "Trimming and compressing keymaps in $1 .. "
+
+T=`tempfile`
+for keymap in `find $1 -name '*.gz'  ` ; do
+	 gunzip < $keymap | grep -v "^#" > $T ; 
+	gzip < $T > $keymap
+done