From d6853058b2fc2e96096fae0b9468bc3b4ea1221b Mon Sep 17 00:00:00 2001 From: mirkobrombin Date: Sun, 27 Feb 2022 16:51:06 +0100 Subject: [PATCH] fix #1095 --- src/backend/utils/terminal.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/backend/utils/terminal.py b/src/backend/utils/terminal.py index dd01a304a2..dbbf7c31aa 100644 --- a/src/backend/utils/terminal.py +++ b/src/backend/utils/terminal.py @@ -38,7 +38,7 @@ class TerminalUtils(): terminals = [ ['easyterm.py', '-d -p "%s" -c %s'], ['xterm', '-e %s'], - ['konsole', '-e %s'], + ['konsole', '-e --noclose %s'], ['gnome-terminal', '-- %s'], ['xfce4-terminal', '-e %s'], ['mate-terminal', '--command %s'],