From e185a34dfb156efdae691c89c809635d64121aa1 Mon Sep 17 00:00:00 2001
From: Simon Oehrl <oehrl@vr.rwth-aachen.de>
Date: Sun, 26 Jan 2020 18:44:07 +0100
Subject: [PATCH] Fix escape char
---
setup.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/setup.sh b/setup.sh
index ab1f1b97..81844272 100755
--- a/setup.sh
+++ b/setup.sh
@@ -163,7 +163,7 @@ function manage_plugins() {
SAVEIFS=$IFS
IFS=''
- escape_char=$(printf "\u1b")
+ escape_char=$(printf "\033")
escape=false
read -rsn1 mode # get 1 character
if [[ $mode == $escape_char ]]; then
@@ -266,7 +266,7 @@ function show_main_menu() {
SAVEIFS=$IFS
IFS=''
- escape_char=$(printf "\u1b")
+ escape_char=$(printf "\033")
escape=false
read -rsn1 mode # get 1 character
if [[ $mode == $escape_char ]]; then
--
GitLab