You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I don't see any way of specifying a custom URL for an existing LanguageTool server, e.g., if you have the server running on your own (remote, not localhost) hardware. As far as I understand the shell code, it will use the public server if --server lt, and the localhost if it's --server my. Is it possible to specify a custom hostname? Custom port? For example, if --server is not in ["my", "lt", "stop"] to just use the argument as the server URL to specify --server https://mysuperserver/api/v2/check? Simplest patch would probably be: Check if cmdline.server is one of the keywords, if not, set the lt_server variable to the specified value (maybe with some pattern check if it's a valid URL) and set cmdline.server to "lt".
The text was updated successfully, but these errors were encountered:
rpls
added a commit
to rpls/YaLafi
that referenced
this issue
Jan 21, 2022
I don't see any way of specifying a custom URL for an existing LanguageTool server, e.g., if you have the server running on your own (remote, not localhost) hardware. As far as I understand the shell code, it will use the public server if
--server lt
, and the localhost if it's--server my
. Is it possible to specify a custom hostname? Custom port? For example, if--server
is not in["my", "lt", "stop"]
to just use the argument as the server URL to specify--server https://mysuperserver/api/v2/check
? Simplest patch would probably be: Check ifcmdline.server
is one of the keywords, if not, set thelt_server
variable to the specified value (maybe with some pattern check if it's a valid URL) and setcmdline.server
to"lt"
.The text was updated successfully, but these errors were encountered: