shockme

I'm using VSCodium Version: 1.88.1 Release: 24104 Commit: 0d01a72525276e5e3771fe5851b9c83de0de1e2b Date: 2024-04-13T01:53:59.491Z Electron: 28.2.8 ElectronBuildId: undefined Chromium: 120.0.6099.291 Node.js: 18.18.2 V8: 12.0.267.19-electron.0 OS: Linux x64 5.15.0-105-generic on Ubuntu 22.04, with the...

I think git functionality should be added as a plugin, rather than directly into Zettlr. Otherwise, what about people who use Mercurial, or Subversion, or Bazaar instead of Git?

> > I think git functionality should be added as a plugin, rather than directly into Zettlr. Otherwise, what about people who use Mercurial, or Subversion, or Bazaar instead of...

> A plugin API is among the most difficult things to do and I do not want to add any new instability causes You make an interesting remark which I...

You've answered questions I didn't ask :) I was especially interested in how an API could cause instability because that statement contradicts my own thinking on the subject and I...

> What do you mean? What hinders you exactly? I don't have a strong opinion on Codes of Conduct in general, I just disagree very strongly with the Contributor Covenant....

This is what I see in the Dev Console when upgrading from 0.8.23 to 0.8.27: ``` workbench.desktop.main.js:152 [Extension Host] Reinitialized extension settings workbench.desktop.main.js:656 INFO Started local extension host with pid...

Extension host was not restarting with indexing disabled on 0.8.44, but it's now restarting again after I updated to 0.8.45.

I've been using Ubuntu full time on my work and home desktop since 2005, so definitely a +1 from me.

+1 for maid package for ubuntu :)