Open schristley opened 1 month ago
As I hack, I manually modified run.sh
If you don’t want to modify the run.sh
script, you can also set the ODK_JAVA_OPTS
variable within a run.sh.conf
file. That file, when it exists, is sourced by the run.sh
script, and is specifically intended to customize the script’s variables:
ODK_JAVA_OPTS="-Dhttp.proxyHost=proxy.swmed.edu -Dhttp.ProxyPort=3128 [...other Java settings as you need them...]"
I suppose the better solution is to check if HTTP_PROXY is set in the environment and use it...
I agree, I think the use of a proxy is common enough that the run.sh
script should be able to automatically handle that case without requiring the user to manually configure it.
When building our application ontology behind a proxy, robot gets an error when processing DOID.
The issue is that Java needs to know about the proxy. As I hack, I manually modified
run.sh
I suppose the better solution is to check if
HTTP_PROXY
is set in the environment and use it...