From 17c2b5c6551417924d599d12b40d5c4f9d7ee237 Mon Sep 17 00:00:00 2001
From: lemke_h <henrik.lemke@psi.ch>
Date: Wed, 30 Oct 2019 14:40:33 +0100
Subject: [PATCH] fix eg keyboard shortcuts

---
 is_control | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 is_control

diff --git a/is_control b/is_control
new file mode 100644
index 0000000..9cee79e
--- /dev/null
+++ b/is_control
@@ -0,0 +1,5 @@
+if [[ "$1" =~ ^(saresb-cons-03|saresb-cons-03|saresb-cons-03)$ ]]; then
+    echo "$1 is controls"
+else
+    echo "$1 is controls"
+fi