Gedit相关配置

Gedit配置

---

首先可以使用Gedit官方插件

sudo apt-get update
sudo apt-get install gedit-plugins

其次可以自己加入外部插件，但首先要使用官方的 External Tools插件

• 编译C++

#!/bin/sh
filename=$GEDIT_CURRENT_DOCUMENT_NAME
name=`echo $filename | cut -d. -f1`

start=$(date "+%s")
g++ $filename -W -DLOCAL -o $name
now=$(date "+%s")
time=$((now-start))
echo "time used: $time seconds"

• 运行程序

#!/bin/sh
filename=$GEDIT_CURRENT_DOCUMENT_NAME
name=`echo $filename | cut -d. -f1`
dir=$GEDIT_CURRENT_DOCUMENT_DIR

gnome-terminal --hide-menubar --working-directory=$dir " Terminal-$name" -x bash -c "$dir/$name; echo;echo 'Press Enter to exit.';read"

• 一键插入常用头文件
  首先将模板保存至相应目录，然后在插件输出处设置为替换当前文件
  再设置相应到快捷键即可

#!/bin/sh
cat ~/Compiled/headfile.cpp

---