5
25
2015
4

备份一个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"
 

 

Category: OI | Tags: OI | Read Count: 1097
iwtwiioi 说:
2015年5月27日 11:28

神犇为啥弃掉vim

Avatar_small
kzoacn 说:
2015年5月27日 23:32

@iwtwiioi: 其实感觉vim挺好的,就是不能复制粘贴非常蛋疼……于是就弃了……

iwtwiioi 说:
2015年7月09日 19:16

@kzoacn: 其实可以用gedit复制粘贴= =然后终端复制的话,可以直接ctrl+shift+v粘贴...

Avatar_small
kzoacn 说:
2015年7月12日 11:03

@iwtwiioi: 于是干脆就用gedit啦


登录 *


loading captcha image...
(输入验证码)
or Ctrl+Enter

Host by is-Programmer.com | Power by Chito 1.3.3 beta | Theme: Aeros 2.0 by TheBuckmaker.com