摘要: 编辑-首选项-插件 里打开外部工具 编译: #!/bin/sh name=$GEDIT_CURRENT_DOCUMENT_NAME name2=${name%.*} g++ $name -o $name2 -g 运行: #!/bin/sh name=$GEDIT_CURRENT_DOCUMENT_N 阅读全文
posted @ 2021-05-25 16:45 gmh77 阅读(96) 评论(0) 推荐(0) 编辑