1 #!/bin/sh 2 dir=$GEDIT_CURRENT_DOCUMENT_DIR 3 name=$GEDIT_CURRENT_DOCUMENT_NAME 4 pre=${name%.*} 5 g++ $dir/$name -o $pre -Wall -std=c++11 6 if test $? -eq 0; then 7 gnome-terminal -x bash -c "time $dir/$pre;echo;read;" 8 fi
原文：https://www.cnblogs.com/2018hzoicyf/p/12075027.html