File tree 1 file changed +53
-0
lines changed
1 file changed +53
-0
lines changed Original file line number Diff line number Diff line change
1
+ #! /bin/bash
2
+
3
+
4
+ # LANG=en_US.UTF-8
5
+
6
+ OSTYPE=$( uname -s)
7
+
8
+ case " $OSTYPE " in
9
+ Darwin* )
10
+ # Mac
11
+ BASENAME=$( dirname $( greadlink -f $0 ) )
12
+ ;;
13
+ Linux* )
14
+ # Linux, including WSL
15
+ BASENAME=$( dirname $( readlink -f $0 ) )
16
+ ;;
17
+ * )
18
+ # all the rest
19
+ BASENAME=$( dirname $( readlink -f $0 ) )
20
+ ;;
21
+ esac
22
+
23
+ TARGETDIR=$BASENAME /../target
24
+
25
+
26
+ if [[ " $1 " =~ ^[4].[0-9]+$ ]]; then
27
+ NEWESTJAR=$TARGETDIR /ConlluEditor-$1 -jar-with-dependencies.jar
28
+ shift
29
+ else
30
+ NEWESTJAR=$( ls -tr $TARGETDIR /ConlluEditor-* | grep with-dep | tail -1)
31
+ fi
32
+
33
+
34
+ echo 1>&2 " jar: $NEWESTJAR "
35
+
36
+
37
+ if [[ " $1 " =~ ^Xmx[0-9]g$ ]]; then
38
+ HEAP=" -$1 "
39
+ echo $HEAP
40
+ shift
41
+ fi
42
+
43
+ if [ " $1 " == " -r" ]; then
44
+ ROOTDIR=" --rootdir $BASENAME /../gui"
45
+ shift
46
+ fi
47
+
48
+
49
+ java -Xmx4g -cp $NEWESTJAR com.orange.labs.comparison.ConlluComparator $*
50
+
51
+
52
+
53
+ #
You can’t perform that action at this time.
0 commit comments