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 关闭底部界面。

巴特西

gedit配置

编译

编译运行

注释

取消注释

一些快捷键

最新文章

热门文章