1. 首页
  2. 操作系统
  3. Ubuntu
  4. gedit插件(32位ubuntu10.04下亲测好用)

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

上传者: 2020-08-14 06:56:23上传 RAR文件 381.13KB 热度 14次
deb文件可直接双击安装。 其他文件放在/usr/lib/gedit-2/plugins/下,选择编辑->首选项->插件,在插件列表里把它勾上就可以了。 PS:如果不能把gedit的插件复制在gedit目录下的plugins文件夹下,系统提示permission denied,那么这是权限问题。如果还不熟悉权限与命令的话可以在终端输入 sudo gnome-open 路径,如 sudo gnome-open /usr/lib/gedit-2/plugins 这样打开的文件窗口拥有root权限,可以用鼠标复制粘贴
用户评论
码姐姐匿名网友 2020-08-14 06:56:23

ubuntu中很实用的工具,谢谢

码姐姐匿名网友 2020-08-14 06:56:23

实验了下,还可以,顶