Puppet module to manage kbd settings on Debian linux.