大多数人可能都知道,在 Ubuntu 16.04 LTS 中,rgedit 插件在 gedit 中不再起作用。有人建议将 gedit 降级到 3.10.4 版本,但对我来说不起作用,尽管菜单栏上出现了额外的 R 菜单和图标。有些人建议改用 pluma。现在的问题是如何将 rgedit 插件添加到 pluma?我尝试过“.local/share/pluma/plugins”和其他方法,但完全没有成功。pluma 有自己的插件吗?
如何为 pluma 添加 rgedit 插件?
相关内容
- 取消暂停 Windows 更新会触发强制安装预览版本
- 编辑
- 如何在 Mac(Catalina) 终端上查看 vm.max_map_count 和 fs.file-max
- Sliverlight Media 不会在本地网络中播放,但会在公共网络中播放
- 保留转换后视频的创建(出生)日期
- 对 pi3B+ 进行 bash 拉伸;用于 fork 'program &' 的 shell 脚本 --bash 找不到文件。它就在那里
- 如何使用网络命名空间进行 VPN 分割隧道
- 在 CLI 上运行需要窗口管理器的程序
- 编译错误:\sf@@@subfloat 的参数有一个额外的 }。它运行良好
- 告诉 Postfix 将三个 Authentication-Results:-Lines 合并为一个?