1 files changed, 28 insertions, 0 deletions
diff --git a/src/external_tools/launcher.sh b/src/external_tools/launcher.sh
new file mode 100755
index 0000000..ff056cc
--- /dev/null
+++ b/src/external_tools/launcher.sh
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+####################
+# Main Script
+####################
+
+TERMINALS="xfce4-terminal gnome-terminal x-terminal-emulator"
+
+for t in $TERMINALS; do
+  TERMBIN="$(command -v "$t")"
+  if [ "$?" -eq 0 ]; then
+    case "$t" in
+      xfce4-terminal)
+        TERMBIN="$TERMBIN --disable-server"
+        break
+        ;;
+      gnome-terminal)
+        break
+        ;;
+      x-terminal-emulator)
+        break
+        ;;
+    esac
+  fi
+done
+
+$TERMBIN -e "$1" &
+