Gedit 文本编辑器
我们可以用外部管理工具让他自动编译和运行! 首先是自动编译和运行的代码。
1 2 3 4 5 6 7 8 9 10 11 12 13 |
#!/bin/sh fullname=$GEDIT_CURRENT_DOCUMENT_NAME name=`echo $fullname | cut -d. -f1` suffix=`echo $fullname | cut -d. -f2` dir=$GEDIT_CURRENT_DOCUMENT_DIR flag=false if g++ $fullname -o2 -o $name; then echo "编译成功!" gnome-terminal --hide-menubar --working-directory=$dir -t " 终端-$name" -x bash -c "$dir/$name; echo '按回车键返回';read" else echo "编译失败!" fi |
接下来是自动编译+标准输入输出读入同名.in的数据的代码「这样测试方便多啦~」
1 2 3 4 5 6 7 8 9 10 11 12 13 |
#!/bin/sh fullname=$GEDIT_CURRENT_DOCUMENT_NAME name=`echo $fullname | cut -d. -f1` suffix=`echo $fullname | cut -d. -f2` dir=$GEDIT_CURRENT_DOCUMENT_DIR flag=false if g++ $fullname -o2 -o $name; then echo "编译成功!" gnome-terminal --hide-menubar --working-directory=$dir -t " 终端-$name" -x bash -c "$dir/$name<$name.in; echo '按回车键返回';read" else echo "编译失败!" fi |
然后是自动对拍 […]