blob: d5003eeb2319e3183c70c75d0d500cc00dbdfd34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
#!/bin/bash
file_present=false
asked_for_help=false
start_server=false
http_server=false
force_cli=false
declare -a argv=("$@")
i=0
for arg in "$@"; do
if [[ $arg != -* ]]; then
file_present=true
fi
if [[ $arg == --config* ]]; then
start_server=true
fi
if [[ $arg == --http ]]; then
start_server=true
http_server=true
unset argv[$i]
fi
if [[ $arg == -h ]]; then
asked_for_help=true
unset argv[$i]
fi
if [[ $arg == --help ]]; then
asked_for_help=true
unset argv[$i]
fi
if [[ $arg == --list || $arg == --version ]]; then
force_cli=true
fi
((i++))
done
CP=/usr/share/languagetool
for name in /usr/share/java/languagetool/*.jar ; do
CP=$CP:$name
done
CLI_command='org.languagetool.commandline.Main'
GUI_command='org.languagetool.gui.Main'
NSRV_command='org.languagetool.server.HTTPServer'
SSRV_command='org.languagetool.server.HTTPSServer'
if $asked_for_help; then
echo "Command-line interface (CLI) help:"
"$JAVA_HOME/bin/java" -cp $CP $CLI_command -h | sed "s/java -jar languagetool-commandline.jar/languagetool/"
echo
echo "Graphical user interface (GUI) help:"
"$JAVA_HOME/bin/java" -cp $CP $GUI_command -h | sed "s/java org.languagetool.gui.Main/languagetool/"
echo
echo "HTTP server help:"
"$JAVA_HOME/bin/java" -cp $CP $NSRV_command -h | sed "s/HTTPServer/languagetool --http/"
echo
echo "HTTPS server help:"
"$JAVA_HOME/bin/java" -cp $CP $SSRV_command -h | sed "s/HTTPSServer/languagetool/"
else
if $start_server; then
if $http_server; then
"$JAVA_HOME/bin/java" -cp $CP $NSRV_command "${argv[@]}"
else
"$JAVA_HOME/bin/java" -cp $CP $SSRV_command "${argv[@]}"
fi
else
if ( $file_present || $force_cli ); then
"$JAVA_HOME/bin/java" -cp $CP $CLI_command "${argv[@]}"
else
"$JAVA_HOME/bin/java" -cp $CP $GUI_command "${argv[@]}"
fi
fi
fi
|