diff -p -up hal-info-20080929/tools/keymap-check.sh~ hal-info-20080929/tools/keymap-check.sh --- hal-info-20080929/tools/keymap-check.sh~ 2008-01-31 17:31:01.000000000 +0100 +++ hal-info-20080929/tools/keymap-check.sh 2008-09-29 18:56:54.000000000 +0200 @@ -17,7 +17,7 @@ isin () # processes each line of the fdi file get_line () { - cat "$1" | sed -ne '/<!--/ { :c; /-->/! { N; b c; }; /-->/s/<!--.*-->//g }; /^ *$/!p;' | grep "input.keymap.data" | while read line + cat "$1" | sed -ne '/<!--/ { :c; /-->/! { N; b c; }; /-->/s/<!--.*-->//g }; /^ *$/!p;' | grep "input.keymap.data" | grep 'type="strlist"' | while read line do data=`echo "${line}" | cut -d":" -f2 | cut -d"<" -f1` found=`isin $data`