src/external_tools/launcher.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#!/bin/sh

####################
# Main Script
####################
#gnome-terminal -e $(dirname $0)/$1

if [ -x "/usr/bin/x-terminal-emulator" ];
then
 TERMNAME="/usr/bin/x-terminal-emulator"
else
 TERMNAME="gnome-terminal"
fi
$TERMNAME -e "$1" &

#if [ "$2" = "1" ]
#then
#  echo "Hit a key to continue ..."
#  Pause
#fi