此内容没有您所选择的语言版本。
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: