diff options
| author | Joakim Repomaa | 2020-07-02 21:33:46 +0200 |
|---|---|---|
| committer | Joakim Repomaa | 2020-07-02 21:33:46 +0200 |
| commit | 3059723b757e510c24279a6e72ae31c30423ecb4 (patch) | |
| tree | 98e98670a20bc692148da3a49524c3224188c271 /ltserver_local_cmd.patch | |
| parent | 86b22533d3a1b5c50ceecadac6ab25aa7e01c9b6 (diff) | |
| download | aur-3059723b757e510c24279a6e72ae31c30423ecb4.tar.gz | |
add patches for languagetool command and paths
Diffstat (limited to 'ltserver_local_cmd.patch')
| -rw-r--r-- | ltserver_local_cmd.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ltserver_local_cmd.patch b/ltserver_local_cmd.patch new file mode 100644 index 000000000000..bef197edbeb7 --- /dev/null +++ b/ltserver_local_cmd.patch @@ -0,0 +1,14 @@ +diff -ruN a/yalafi/shell/shell.py b/yalafi/shell/shell.py +--- a/yalafi/shell/shell.py 2020-05-27 17:32:05.000000000 +0200 ++++ b/yalafi/shell/shell.py 2020-07-02 21:24:39.811059005 +0200 +@@ -44,9 +44,7 @@ + # on option --server my: use local LT server
+ #
+ ltserver_local = 'http://localhost:8081/v2/check'
+-ltserver_local_cmd = ('java -cp'
+- + ' languagetool-server.jar org.languagetool.server.HTTPServer'
+- + ' --port 8081')
++ltserver_local_cmd = 'languagetool --http --port 8081'
+
+ # config file
+ #
|