📄 tinyos.sh.in
字号:
# script for profile.d for bash shells, adjusted for each users# installation by substituting @prefix@ for the actual tinyos tree# installation point.TOSROOT="@prefix@/tinyos-1.x"export TOSROOTTOSDIR="$TOSROOT/tos"export TOSDIRCLASSPATH=`$TOSROOT/tools/java/javapath`export CLASSPATH# Extend path for javatype java >/dev/null 2>/dev/null || PATH=`/usr/local/bin/locate-jre --java`:$PATHtype javac >/dev/null 2>/dev/null || PATH=`/usr/local/bin/locate-jre --javac`:$PATHecho $PATH | grep -q /usr/local/bin || PATH=/usr/local/bin:$PATH
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -