📄 devkit
字号:
#!/bin/sh## resolve links - $0 may be a link to ant's homePRG="$0"progname=`basename "$0"`# need this for relative symlinkswhile [ -h "$PRG" ] ; do ls=`ls -ld "$PRG"` link=`expr "$ls" : '.*-> \(.*\)$'` if expr "$link" : '/.*' > /dev/null; then PRG="$link" else PRG=`dirname "$PRG"`"/$link" fidoneDEVKIT_HOME=`dirname "$PRG"`# make it fully qualifiedDEVKIT_HOME=`cd "$DEVKIT_HOME" && pwd`java -jar $DEVKIT_HOME/bin/devkit.jar $*
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -