Skip to content

Adds tab-completion for Share project/branches/releases on clone/pull/push/lib.install #5782

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 9 commits into from
Jul 14, 2025

Conversation

ChrisPenner
Copy link
Member

@ChrisPenner ChrisPenner commented Jun 27, 2025

Overview

Does what it says on the tin; e.g.

tab-complete.mp4

Supports completing users, projects, branches, contributors and releases.

Implementation notes

This just calls Share's omnisearch under the hood.

Interesting/controversial decisions

Currently this just manually builds the query URLs rather than using a Servant client or w/e;

For critical things the servant client still makes sense, but for things like there where the worst case is just that tab-completion doesn't work it's not a big deal, doing the servant-client version would require moving a ton of APIs from Share to the unison package, and would require stabilizing them them into a versioned UCM API; all of which is just kinda annoying to do.

If we find it's breaking often we can move it in the future, but I don't expect that to be the case.

Test coverage

I don't want automated tests to rely on share availability, so I just tested it manually.

Loose ends

It would be really cool to somehow rig up fzf to this at some point, not quite sure what that'd look like though.

@ChrisPenner ChrisPenner force-pushed the cp/share-tab-complete-2 branch from e6fb7a8 to e06e13d Compare June 27, 2025 19:31
@ChrisPenner ChrisPenner marked this pull request as ready for review June 27, 2025 19:39
@aryairani
Copy link
Contributor

Very cool

@aryairani aryairani merged commit 1b69cf6 into trunk Jul 14, 2025
1 check passed
@aryairani aryairani deleted the cp/share-tab-complete-2 branch July 14, 2025 14:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants