gedit脚本
明天ctsc，赶紧学了一下gedit的配置
以下假设你只在/home/zzq下写代码（用户名自己改）
首先在/home/zzq下建一个runner.sh，内容如下：
#!/bin/bash time $1 echo "==================================" echo "Press ENTER to return" read
然后gedit->编辑->首选项->插件，勾选 Python控制台 快速打开 外部工具 这三个，其他的建议都关掉。（其实下面有用到的只是外部工具，但是另外两个也蛮有用的）
然后重启gedit，找到工具->管理外部工具，添加一个工具
里面脚本内容如下
#!/bin/sh cd ${GEDIT_CURRENT_DOCUMENT_DIR} out=${GEDIT_CURRENT_DOCUMENT_NAME%.*} g++ ${GEDIT_CURRENT_DOCUMENT_NAME} -o $out && echo "编译成功" && gnome-terminal --working-directory=${GEDIT_CURRENT_DOCUMENT_DIR} -e "bash /home/zzq/runner.sh ${GEDIT_CURRENT_DOCUMENT_DIR}/$out"
除了工作目录有点问题（但是如果你只是在根目录下编代码的话是没有问题的）以外可以正常使用。
最后提示：按F11不会自动保存！需要手动保存