即将退役,再不写点东西就没时间了
5
25
2015
25
2015
备份一个gedit配置
和vim说再见了!
工具->管理外部工具
Compile: #!/bin/sh full=$GEDIT_CURRENT_DOCUMENT_NAME name=`echo $full | cut -d. -f1` g++ $full -o $name -g -Wall Debug: #!/bin/bash name=`echo $GEDIT_CURRENT_DOCUMENT_NAME | cut -d. -f1` gnome-terminal -x bash -c "gdb ./$name" Run: #!/bin/bash name=`echo $GEDIT_CURRENT_DOCUMENT_NAME | cut -d. -f1` gnome-terminal -x bash -c "time ./$name;echo 'Press any key to continue'; read"