2019年9月25日
gedit 外部工具——快捷运行
摘要： 文本编辑器-首选项-插件-勾选“外部工具” 可快捷编译运行一些代码，适合新手使用。 配置如下。 快捷键：F5 保存：当前文档 输入：无 输出：无 使用范围：所有文档，所有语言 脚本如下。 #!/bin/sh dir=$GEDIT_CURRENT_DOCUMENT_DIR name=$GEDIT_CU 阅读全文
posted @ 2019-09-25 17:19 一年` 阅读(521) 评论(0) 推荐(0) 编辑