2016-09-05 23:25:26 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2015-11-01 02:30:09 +01:00
|
|
|
keyboard_layout=de
|
|
|
|
|
keyboard_variant=nodeadkeys
|
|
|
|
|
keyboard_repeat_delay=150
|
|
|
|
|
keyboard_repeat_speed=50
|
|
|
|
|
|
2017-01-23 16:59:05 +01:00
|
|
|
printf '%s' "setting keyboard layout" >>"$LOGFILE"
|
2018-08-16 07:25:01 +02:00
|
|
|
setxkbmap -layout "$keyboard_layout" -variant "$keyboard_variant" &
|
2015-11-01 02:30:09 +01:00
|
|
|
|
2017-01-23 16:59:05 +01:00
|
|
|
printf '%s' "setting key repeat delay" >>"$LOGFILE"
|
2018-08-16 07:25:01 +02:00
|
|
|
xset r rate "$keyboard_repeat_delay" "$keyboard_repeat_speed" &
|
