欢迎访问 生活随笔!

生活随笔

当前位置: 首页 > 编程资源 > 编程问答 >内容正文

编程问答

gedit配置

发布时间:2024/7/5 编程问答 25 豆豆
生活随笔 收集整理的这篇文章主要介绍了 gedit配置 小编觉得挺不错的,现在分享给大家,帮大家做个参考.

编辑 \(\rightarrow\) 首选项 \(\rightarrow\) 插件 \(\rightarrow\) 外部工具 启用

进入工具 \(\rightarrow\) Manage External Tools...

点击 '+' 添加几个快捷键:

编译

#!/bin/sh name=$GEDIT_CURRENT_DOCUMENT_NAME pre=${name%.*} g++ $name -o $pre

编译运行

#!/bin/sh dir=$GEDIT_CURRENT_DOCUMENT_DIR name=$GEDIT_CURRENT_DOCUMENT_NAME pre=${name%.*} g++ $name -o $pre if test $? -eq 0; thengnome-terminal -x bash -c "time $dir/$pre;read" fi

注释

#!/bin/sh sed 's/^/\/\//'

输入和输出为选中区域

取消注释

#!/bin/sh sed 's/\/\///'

输入和输出为选中区域

一些快捷键

可以用 Ctrl+F9 关闭底部界面。

转载于:https://www.cnblogs.com/yqgAKIOI/p/10827590.html

总结

以上是生活随笔为你收集整理的gedit配置的全部内容,希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错,欢迎将生活随笔推荐给好友。