From 29fac4b9078e97c5bc8914d93140b82560fe1157 Mon Sep 17 00:00:00 2001
From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Sat, 3 Aug 2019 12:20:24 +0300
Subject: [PATCH] Improved IntelliJ start script.

---
 tools/open with IntelliJ IDEA | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/tools/open with IntelliJ IDEA b/tools/open with IntelliJ IDEA
index 3d2d379..de9bae5 100755
--- a/tools/open with IntelliJ IDEA	
+++ b/tools/open with IntelliJ IDEA	
@@ -8,12 +8,11 @@
 #
 # Script assumes:
 #
-#    + GNU operating system 
-#    + GNOME desktop environment 
+#    + GNU operating system
 #    + IntelliJ is installed and commandline launcher "idea" is enabled.
 #
 
-cd "${0%/*}"; if [ "$1" != "T" ]; then gnome-terminal -e "'$0' T"; exit; fi;
-
+cd "${0%/*}"
 cd ..
-idea .
+
+setsid idea . &>/dev/null
-- 
2.20.1