大自然的搬运工:Ubuntu环境下gedit的一些个简单配置
gedit是Ubuntu默认的文本编辑器,个人觉得还是不错的,用它来编程写一些小的demo也很方便,原谅我比较菜,vim用起来感觉打字速度真的很慢呀。
下面对gedit做一些简单配置,方便编程。
一. 设置字体等
在编辑-->首选项中设置
比较简单,直接上图了
设置字体,默认的字体看起来比较小,我用的是Ubuntu Mono字体16号,配色方案也是用的默认的配色方案,如果习惯Kate的也可以配置。
可以选择性的安装一些插件
二.设置自动编译C语言
工具-->Manage External Tools中添加一个工具
#!/bin/sh fullname=$GEDIT_CURRENT_DOCUMENT_NAME name=`echo $fullname | cut -d. -f1` suffix=`echo $fullname | cut -d. -f2` gcc $fullname -lpthread -o $name && echo "编译成功"; dir=$GEDIT_CURRENT_DOCUMENT_DIR gnome-terminal --hide-menubar --working-directory=$dir -t " 终端-$name" -x bash -c "$dir/$name; echo;echo '按回车键返回';read"
设置一个自己习惯的快捷键
尝试一下:
编写c语言的时候可以不用切换到终端下敲命令了!
还有python的交互式环境:
ctr+F9调出底部面板就可以发现python的交互命令环境了(前提是你配置了pyhon的插件):
恩,现在用起来舒服多了。