首页 > 代码库 > 大自然的搬运工: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的一些个简单配置
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。