JEdit设置和插件

Question

我想准备一个我的学生可以立即使用的JEdit版本，而不必安装必要的插件和更改许多设置。有没有一种“干净”的方式来做这件事，也就是说，有些东西是跨平台的，可以公开发布，而不仅仅是学生？这个答案有一些帮助，但没有解决同样的需求：https://stackoverflow.com/a/36683022/6771080

提前感谢

Answer 1

我通过复制~/.jedit或c:/users//AppData/Roaming/jEdit文件夹，在我使用的每台机器上有效地完成了这项工作。它包括插件和所有设置。