Michael Goerz

Cool. Can you make a pull request? Looks like something I can easily merge. At some point I'll give this script a long-deserved polish, with proper testing..

I might look into it if I have time, but right now it's not a priority... In the meantime, I'm open to pull requests

Would it be possible to somehow separate unicode entry from the LanguageServer? This feels like it should be a standalone feature. I've found https://marketplace.visualstudio.com/items?itemName=oijaz.unicode-latex, which seems to work, but not...

Screenshot comparison between Oni and terminal neovim (which is pretty much what I'd like to see in Oni):  

I've had a PI shoot down the suggestion to publish in JOSS because it's not indexed by Web of Science. It would be really great if that could change.

Hopefully, I got the procedure right, based on looking over the source code. Let me know if I misunderstood anything. One question: What is the purpose of the `--no-temp-dir` flag?...

Do you mean multiple `--built-docs` (#221)? So if I had the documentation in `docs/build/html` and my post-processing scripts in `.travis`, I'd invoke `doctr deploy` as something like ~~~ doctr deploy...

Reading the source code was illuminating regarding the deployment procedure. The missing piece was the `.doctr-files` log using during synchronization, and the fact that the `--command` runs after synchronization, but...

The CI failures do not seem to be related to my patch, cf. the docs-only PR #356 also failing. Let me know if there's anything I should do.

It seems Travis no longer supports OSS at all, at this point: https://twitter.com/james_hilliard/status/1336081776691843072 I'm definitely looking to move to GH Actions :-/