gedit配置

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

进入工具 ( ightarrow) 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 关闭底部界面。