--- /dev/null
+class keyboard {
+ # Keyboard, see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=619711
+ file { "/etc/default/keyboard":
+ ensure => present,
+ owner => "root",
+ group => "root",
+ mode => 0644,
+ source => "puppet:///modules/site_nodo/keyboard/${::hostname}"
+ }
+
+ package { 'console-common':
+ ensure => present,
+ }
+
+ file { '/etc/console/boottime.kmap.gz':
+ ensure => present,
+ owner => "root",
+ group => "root",
+ mode => 0644,
+ source => "puppet:///modules/site_nodo/console/boottime.kmap.gz.${::hostname}"
+ }
+}