Gedit个人配置

Compile + Run(F2):

#!/bin/sh
fullname=$GEDIT_CURRENT_DOCUMENT_NAME
name=`echo $fullname | cut -d. -f1`
suffix=`echo $fullname | cut -d. -f2`
dir=$GEDIT_CURRENT_DOCUMENT_DIR

    rm $name
    g++ $fullname -o $name -O2 -Wall -std=gnu++0x -static -lm
    gnome-terminal --hide-menubar --working-directory=$dir -t "Terminal-$name" -x bash -c "$dir/$name; echo;echo 'press ENTER to continue';read"

猜你喜欢

转载自www.cnblogs.com/ErkkiErkko/p/9749149.html