#!/bin/sh
f=/var/run/hotkey-setup
p="sudo ./dumpkeycodes"
if [ -r $f ] ; then 
    echo -n "# Generated from $f dated "
    date -r $f
#else
#    echo -n "# Generated by $p at "
#    date
#    $p &
else
    exit 1
fi >atkbd.hk
while read e k; do
    if m=`LANG=C grep "=$k\$" key-constants`; then
	m=`echo $m | cut -d= -f1`
	echo -e "setkeycodes\t$e\t\$$m"
    else
	echo -e "#setkeycodes\t$e"
    fi
done <$f >>atkbd.hk
