1° 新建文档。然后点击编辑,打开首选项。
2° 勾选外部工具,然后退出。打开工具,选择Manage External Tool...
3° 新建外部工具,设置快捷键,并输入以下代码。
#!/bin/sh
fullname=$GEDIT_CURRENT_DOCUMENT_NAME
name=`echo $fullname | cut -d. -f1`
g++ $fullname -lm -o $name && echo "fighting!"
dir=$GEDIT_CURRENT_DOCUMENT_DIR
gnome-terminal --hide-menubar --working-directory=$dir -x bash -c "$dir/$name;echo;echo ‘please enter to continue.‘;read;"