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; then
	gnome-terminal -x bash -c "time $dir/$pre;read"
fi

注释

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

输入和输出为选中区域

取消注释

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

输入和输出为选中区域

一些快捷键

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