一键编译

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

猜你喜欢

转载自www.cnblogs.com/2018hzoicyf/p/12075027.html