gedit脚本

明天ctsc,赶紧学了一下gedit的配置

以下假设你只在/home/zzq下写代码(用户名自己改)

首先在/home/zzq下建一个runner.sh,内容如下:

#!/bin/bash
time $1
echo "=================================="
echo "Press ENTER to return"
read

然后gedit->编辑->首选项->插件,勾选 Python控制台 快速打开 外部工具 这三个,其他的建议都关掉。(其实下面有用到的只是外部工具,但是另外两个也蛮有用的)

然后重启gedit,找到工具->管理外部工具,添加一个工具gedit脚本,双击重命名为Build & Run,右边快捷键设成F11。

里面脚本内容如下

#!/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"

gedit脚本

除了工作目录有点问题(但是如果你只是在根目录下编代码的话是没有问题的)以外可以正常使用。

gedit脚本

gedit脚本

最后提示:按F11不会自动保存!需要手动保存

上一篇:Java设计模式11:外观模式


下一篇:程序设计入门——C语言 第2周编程练习 信号报告(5分)