gedit插件(32位ubuntu10.04下亲测好用)

时间:2016-12-09 15:11:03
【文件属性】:

文件名称:gedit插件(32位ubuntu10.04下亲测好用)

文件大小:381KB

文件格式:RAR

更新时间:2016-12-09 15:11:03

gedit plugin 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权限,可以用鼠标复制粘贴


【文件预览】:
gedit plugin
----folding.py(5KB)
----csmartindent.py(5KB)
----completion.py(7KB)
----folding.gedit-plugin(796B)
----completion.gedit-plugin(267B)
----csmartindent.gedit-plugin(292B)
----gedit-plugins_2.30.0-0ubuntu1_i386.deb(372KB)
----auto_completion.py(5KB)
----auto_completion.gedit-plugin(280B)

网友评论

  • ubuntu中很实用的工具,谢谢
  • 实验了下,还可以,顶