首页 > 代码库 > 大自然的搬运工:Ubuntu环境下gedit的一些个简单配置

大自然的搬运工:Ubuntu环境下gedit的一些个简单配置

gedit是Ubuntu默认的文本编辑器,个人觉得还是不错的,用它来编程写一些小的demo也很方便,原谅我比较菜,vim用起来感觉打字速度真的很慢呀。

下面对gedit做一些简单配置,方便编程。

一. 设置字体等

编辑-->首选项中设置

比较简单,直接上图了

技术分享

技术分享

设置字体,默认的字体看起来比较小,我用的是Ubuntu Mono字体16号,配色方案也是用的默认的配色方案,如果习惯Kate的也可以配置。

技术分享

可以选择性的安装一些插件

技术分享

二.设置自动编译C语言

工具-->Manage External Tools中添加一个工具

#!/bin/shfullname=$GEDIT_CURRENT_DOCUMENT_NAMEname=`echo $fullname | cut -d. -f1`suffix=`echo $fullname | cut -d. -f2`gcc $fullname -lpthread -o $name && echo "编译成功";    dir=$GEDIT_CURRENT_DOCUMENT_DIRgnome-terminal --hide-menubar --working-directory=$dir -t " 终端-$name" -x bash -c "$dir/$name; echo;echo ‘按回车键返回‘;read"

设置一个自己习惯的快捷键

技术分享

 

尝试一下:

技术分享

编写c语言的时候可以不用切换到终端下敲命令了!

 

还有python的交互式环境:

ctr+F9调出底部面板就可以发现python的交互命令环境了(前提是你配置了pyhon的插件):

技术分享

 

恩,现在用起来舒服多了。

 

大自然的搬运工:Ubuntu环境下gedit的一些个简单配置