fudaming 发表于 2006-8-11 16:03:12

不知道有没有gedit 的shell插件

很是羡慕Kwrite里面集成的命令行功能，不知道gedit有没有类似的shell插件啊？

我google了半天，实在没有找到。


gnome里面有没有文本编辑器有类似的功能的呢？大家帮忙介绍介绍吧。 :D:!::idea:

cobranail 发表于 2006-8-11 18:01:21

有个python console，别的不知道了

wxk 发表于 2006-8-12 00:52:06

有啊

fudaming 发表于 2006-8-14 13:09:29

？楼上的介绍介绍？ :mrgreen:

wxk 发表于 2006-8-15 00:04:36

你的gedit的版本是多少？可能你要安装最新的。

fudaming 发表于 2006-8-15 10:32:11

系统是ubuntu6.06，每天运行一遍更新。当前gedit版本2.14.4

:mrgreen::lol:

wxk 发表于 2006-8-16 02:31:17

我的fedora core Test 2 用的是2.15.7。另外，在gnome的源代码树上有一个gedit的plugin的包里面有colorpicker之类的插件。

fudaming 发表于 2006-8-16 10:47:42

晕了，colorpicker？听起来不像是和命令行有关的东西啊。我去cvs上看看吧，多谢了楼上的。 :shock:

+++++++++++无敌分割线++++++++++++


General Information
===================

This is version 2.15.4 of gedit-plugins. gedit-plugins are a set of plugins
for gedit.

Installation
============

For the moment, you have to ./configure with --prefix=same prefix as you
configured gedit with.

How to choose which plugins to build:

./configure --with-plugins=pl1,pl2,...

where pl1, pl2 ... are one of the following:

charmap                        Insert special characters just by clicking on them.
colorpicker                Pick a color from a dialog and insert its hexadecimal
                        representation.
joinlines                Join several lines or split long ones.
showtabbar                Add a menu entry to show/hide the tabbar.
terminal                Embed a terminal in the bottom pane.

all                        All of the above plugins


在最下面发现了terminal这个插件，看说明应该就是了。。
页: [1]
查看完整版本: 不知道有没有gedit 的shell插件