📄 jremserver.sh
字号:
#!/bin/bash# JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com># Version ${jrem.version}. `dirname $0`/config.sh###################################################################JREMSERVER_CONFIG_FILE="$1"JREMSERVER_PROP_FILE="$JREMCONFDIR/jrem.properties"JREMSERVER_MAIN=fildiv.jremcntl.server.core.JRemServerJREMSERVER_PARAMS="$1 $JREMSERVER_PROP_FILE"JREMSERVER_JARS=$JREMLIBDIR/jremcntl-server.jar:$AVETANA_BT_JAR:$JREMTHPTDIR/jh.jarJREMSERVER_JARS=$JREMSERVER_JARS:$JREMLIBDIR/jremcntl-help.jar###################################################################if [ -z "$1" ]; then echo "usage jremserver.sh <config filename>" exit -1fiecho "Config file is : $JREMSERVER_CONFIG_FILE"echo "Properties file is : $JREMSERVER_PROP_FILE"echo "Starting server ...""$JAVA_HOME/bin"/java -cp $JREMSERVER_JARS -DJREMHOME="$JREMHOME" $JREMSERVER_MAIN $JREMSERVER_PARAMS
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -