我最近将 Kile 更新至版本 2.9.91。
更新后，当源文件在磁盘上被 Kile 以外的程序更改时（例如，因为我正在使用 Dropbox，并且一些合作者编辑了该文件），Kile 不会再通知它。此外，它不会自动重新加载源文件。因此，如果我使用 Kile 保存文件而没有注意到磁盘上的更改，我会破坏其他人所做的所有更改。
有没有办法让 Kile 通知磁盘上的变化，就像在旧版本中一样？
答案1
Dropbox 有自己的方法来解决这个问题，请参见：https://www.dropbox.com/help/business/badge-collaborate。
但是，使用 kile 或其他编辑器来防止你破坏别人几个小时的工作成果似乎真的很危险。至少每个人都应该下载文件，在本地编辑并在上传前进行检查。
更好的解决方案是使用版本控制系统，也许是像 github.com 这样的在线系统。