summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Schlüter <bschlueter@posteo.de>2017-05-30 18:31:24 +0200
committerBenjamin Schlüter <bschlueter@posteo.de>2017-05-30 18:31:24 +0200
commit519a6a0cb56371c446cef350679ef5a36786b6b5 (patch)
tree9a68fded3e65a3608abb32b5fde6a4860489d9cd
parentbbb96bb6029624fa36b2c5057a11b3772a31c2bc (diff)
downloadsurf-display-519a6a0cb56371c446cef350679ef5a36786b6b5.tar.gz
surf-display-519a6a0cb56371c446cef350679ef5a36786b6b5.tar.bz2
surf-display-519a6a0cb56371c446cef350679ef5a36786b6b5.zip
Midori-Display: Make sure x-server can be restarted with CTRL+ALT+BACKSPACE.
-rwxr-xr-xbin/midori-display5
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/midori-display b/bin/midori-display
index 7acdeac..765bfba 100755
--- a/bin/midori-display
+++ b/bin/midori-display
@@ -30,6 +30,7 @@
# xprintidle
# xdotool
# xmodmap
+# x11-xkb-utils
#
# recommendations:
# unclutter
@@ -140,6 +141,10 @@ else
$OUTPUT "WARNING: Cannot strip down mouse/pointer button functionality. Make sure 'xmodmap' is installed."
fi
+if which setxkbmap 1>/dev/null; then
+ setxkbmap -option "terminate:ctrl_alt_bksp"
+fi
+
# if FAKE_HOSTNAME is not empty, use that string for hostname
THIS_HOSTNAME=$(hostname -f)
if [ -n "$FAKE_HOSTNAME" ]; then