gedit插件(32位ubuntu10.04下亲测好用)
deb文件可直接双击安装。 其他文件放在/usr/lib/gedit-2/plugins/下,选择编辑->首选项->插件,在插件列表里把它勾上就可以了。 PS:如果不能把gedit的插件复制在gedit目录下的plugins文件夹下,系统提示permission denied,那么这是权限问题。如果还不熟悉权限与命令的话可以在终端输入 sudo gnome-open 路径,如 sudo gnome-open /usr/lib/gedit-2/plugins 这样打开的文件窗口拥有root权限,可以用鼠标复制粘贴
下载地址
用户评论
ubuntu中很实用的工具,谢谢
实验了下,还可以,顶