gedit 外部工具——快捷运行

文本编辑器-首选项-插件-勾选“外部工具”

可快捷编译运行一些代码，适合新手使用。

配置如下。

• 快捷键：F5
• 保存：当前文档
• 输入：无
• 输出：无
• 使用范围：所有文档，所有语言

脚本如下。

#!/bin/sh

#author: srczhang#qq.com

dir=$GEDIT_CURRENT_DOCUMENT_DIR
name=$GEDIT_CURRENT_DOCUMENT_NAME
pre=${name%.*}
suffix=${name##*.}

case $suffix in
    c)
        gcc $dir/$name -o ${pre}.out
        if test $? -eq 0; then
            gnome-terminal -- bash -c "time '$dir/${pre}.out';echo;read;"
        fi
        ;;
    cpp)
        g++ $dir/$name -o ${pre}.out
        if test $? -eq 0; then
            gnome-terminal -- bash -c "time '$dir/${pre}.out';echo;read;"
        fi
        ;;
    java)
        javac $dir/$name
        if test $? -eq 0; then
            gnome-terminal -- bash -c "time java '$pre';echo;read;"
        fi
        ;;
    go)
        go build $dir/$name
        if test $? -eq 0; then
            gnome-terminal -- bash -c "time '$dir/$pre';echo;read;"
        fi
        ;;
    py)
        gnome-terminal -- bash -c "time python3 '$dir/$name';echo;read;"
        ;;
    sh)
        chmod +x $name
        gnome-terminal -- bash -c "time '$dir/$name';echo;read;"
        ;;
esac