jedit - 如何在多台计算机之间同步 jEdit 设置

Question

我使用 jEdit 作为文本编辑器，因为它是跨平台的，并且具有我需要的所有功能(Java 正则表达式、按键宏等)。但是，在新计算机上进行设置和同步设置(键盘绑定(bind)、文件保存选项等)很痛苦。

任何人都可以建议这样做的好方法吗？理想情况下，它应该在后台同步，可能会写入 Dropbox 文件夹。我已经查看了 jEdit 插件，但似乎没有任何内容。

谢谢!

Answer 1

我使用以下宏来清理我的 jEdit 设置目录并将其压缩到我的 Mac 上的 Google Drive 目录:

void delete(String name) {
  path = jEdit.getSettingsDirectory()+"/"+name;
  VFS vfs = VFSManager.getVFSForPath(path);
  session = vfs.createVFSSession(path,view);
  vfs._delete(session, path, view);
  if (session != null) vfs._endVFSSession(session,view);
}

runInSystemShell(view, "cd " + jEdit.getSettingsDirectory());

// clean up files
delete("abbrevs");  // I use SuperAbbrevs
delete("killring.xml");
delete("recent.xml");
delete("perspective.xml");
delete("activity.log");
delete("history");
delete("printspec");
delete("registers.xml");
delete("pluginMgr-Cached.xml.gz");
delete("macros" + File.separator + ".macroManagerCache");   // File.separator = System.getProperty("file.separator")
delete("server");
delete("jedit_quicknote.txt");  // or qn.txt
delete("mirrorList.xml");       // mirrorList can be updated by Options -> Plugin Manager

// clean up directories
delete("jars-cache");
delete("settings-backup");
delete("cache");
delete("DockableWindowManager");
delete("PluginManager.download");
delete("printspec");

runInSystemShell(view, "rm -f ~/Google\\ Drive/doc/jedit.zip; zip -r ~/Google\\ Drive/doc/jedit.zip * -x '*.DS_Store'");

然后我可以运行以下别名来解压缩其他机器上的设置:

alias je_sync="rm -rf ~/.jedit/*; unzip ~/Google\ Drive/doc/jedit.zip -d ~/.jedit/"