明天ctsc,赶紧学了一下gedit的配置
以下假设你只在/home/zzq下写代码(用户名自己改)
首先在/home/zzq下建一个runner.sh,内容如下:
#!/bin/bash
time $1
echo "=================================="
echo "Press ENTER to return"
read
然后gedit->编辑->首选项->插件,勾选 Python控制台 快速打开 外部工具 这三个,其他的建议都关掉。(其实下面有用到的只是外部工具,但是另外两个也蛮有用的)
然后重启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"
除了工作目录有点问题(但是如果你只是在根目录下编代码的话是没有问题的)以外可以正常使用。
最后提示:按F11不会自动保存!需要手动保存