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 關閉底部界面。