From 519a6a0cb56371c446cef350679ef5a36786b6b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Benjamin=20Schl=C3=BCter?= <bschlueter@posteo.de>
Date: Tue, 30 May 2017 18:31:24 +0200
Subject: [PATCH] Midori-Display: Make sure x-server can be restarted with
 CTRL+ALT+BACKSPACE.

---
 bin/midori-display | 5 +++++
 1 file changed, 5 insertions(+)

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