编辑 \(\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; then
gnome-terminal -x bash -c "time $dir/$pre;read"
fi注释
#!/bin/sh
sed 's/^/\/\//'输入和输出为选中区域
取消注释
#!/bin/sh
sed 's/\/\///'输入和输出为选中区域
一些快捷键
可以用 Ctrl+F9 关闭底部界面。
转播
