随笔分类 -  Linux

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

点击右上角即可分享
微信分享提示