File: trim_keymaps.sh

package info (click to toggle)
console-data 2002.12.04dbs-49
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 5,024 kB
  • ctags: 26
  • sloc: perl: 1,663; makefile: 110; sh: 61
file content (9 lines) | stat: -rwxr-xr-x 187 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
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