Start the server with a specified server profile
1.2.2. Start the Server With Alternate Configuration Using run.sh without any arguments starts the server using the default server profile file set. To start with an alternate profile file set, pass the name of the server configuration file set (same as the name of the server configuration directory under $JBOSS_HOME/server/$PROFILE/) that you want to use, as the value to the -c command line option. For example, to start with the minimal profile file set you should specify: