Lets say I want to use the Stardog CLI from my laptop, but I want the default to point to my remote server rather than localhost.
I've seen stardog.default.cli.server referenced in the man pages (e.g., Command Line Interface | Stardog Documentation Latest), but if I try setting this in a stardog.properties file in $STARDOG_HOME, the CLI still points to localhost.
How can I go about configuring a remote server by default? STARDOG_JAVA_ARGS?
Is there also a way to store a default username and password? And more generally, are there docs/cheatsheet for all of parameters that can be passed to STARDOG_JAVA_ARGS?