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