fwat

摘要： 编辑 $\rightarrow$ 首选项 $\rightarrow$ 插件 $\rightarrow$ 外部工具 启用 进入工具 $\rightarrow$ Manage External Tools... 点击 '+' 添加几个快捷键： 编译 ~~~bash !/bin/sh name=$GEDI 阅读全文