John Soo

I have seen this, too. Is this due to restarts interrupting git operations?

After some more looking at this, I think it is slightly more complicated than this (but not much).

Ok I think this is a start now. I see that maybe in the past `filepath.Walk` might have been restrictively slow but now `filepath.WalkDir` exists 😄 .

A brief test on our CI confirms this does what I want. Though the symlinks need some work and there could be cases of which I am unaware.

Ok tests pass and I think are actually correct (and symlinks are handled).

Maybe the docs should be updated to warn that closing cdata characters are not escaped. Currently the cdata function gives the impression that the closing characters are escaped: https://docs.rs/xml-rs/0.8.3/xml/writer/events/enum.XmlEvent.html#method.cdata

Also confirm this looks good. I don't really see any other means of communicating the color-scheme to the iframe, either. This LGTM.

I think this may have more or less to do with not dealing with the asynchronous process perfectly everywhere.

Hi there, thanks for looking into elba support! I think you might need to start by looking at `idris-ipkg-mode.el` and see what it provides. Then figure out what should be...

Yes I like the idea of having an interface for various package managers or build tools to implement, too. I think, though, that not much change will be required if...