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
总结
- 上一篇: 爬虫 --通用篇
- 下一篇: Centos jdk