Thorsten Ball

Hey @mikelnrd! Thanks for opening the issue (and pointing me to `delta`). There are currently no settings to switch from `colordiff` to another diff tool, no. I tried swiching `colordiff`...

@Matt-Gleich I think that depends on @joshuabezaleel and whether he wants to finish #441 or not. I left some comments, some of which are blockers.

Just a little update: we've closd https://github.com/sourcegraph/src-cli/pull/441 just now. We've been meaning to pick it up and carry it over the finish line for a while now, but it never...

I cannot reproduce this: ```sh $ src ext get sourcegraph/git-extras { "ID": "UmVnaXN0cnlFeHRlbnNpb246eyJsIjo3Nn0=", "UUID": "2cd34b59-094b-4866-a975-de1ba019193f", "ExtensionID": "sourcegraph/git-extras", "Name": "git-extras", "CreatedAt": "2018-10-29T01:39:47Z", "UpdatedAt": "2018-10-29T01:39:47Z", "URL": "/extensions/sourcegraph/git-extras", "RemoteURL": "", "RegistryName": "", "IsLocal":...

Let's just say it's not officially unsupported :) But, actually, I have no idea whether it works on Windows or not. And admittedly, it wasn't built with Windows as a...

Yeah, but the project is effectively dead.

I'd say that version management is out of scope for `src-cli` itself. An `asdf` plugin, for example, seems to be the better choice. We also publish `src-cli` for Homebrew, which...

Okay, I read through the code again, this time knowing kinda how the extension works. I think this approach makes sense. Of course things would be easier, I guess, if...

Ah, I see. So we have indexed the document, someone hovers over `break`, we check the LSIF provider for `definitionAndHover`, don't get results and fallback to search. Question then is:...

See also here: https://github.com/zed-industries/zed/pull/8584 And especially this discussion: https://github.com/zed-industries/zed/pull/8584#issuecomment-1974306243