2021年5月25日
Linux gedit配置
摘要： 编辑-首选项-插件 里打开外部工具 编译： #!/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 阅读(214) 评论(0) 推荐(0) 编辑