JBoss on GNU/Linux is started by /usr/share/jboss/bin/run.sh
In this script is a line that calls the Java JVM with parameters, and loads JBoss. I want to include set some Java parameters that our server uses when it loads. I know how to set command line parameters - -DparameterName=value.
What I want to know is how to set them without modifying the run.sh script that starts JBoss. Each time I upgrade the installed JBoss package, this script file will be overwritten, and would need to be edited and patched again. No, I don't expect to do this a lot, but I can't help but wonder if there is some canonical way JBoss intended for such parameters to be set, and if I don't ask, I'll never know. Setting the JAVA_OPTS environment variable doesn't do it - the run.sh script does not read the environment.