Skip to content
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

skim-demo #695

Merged
merged 5 commits into from Mar 19, 2023
Merged

skim-demo #695

merged 5 commits into from Mar 19, 2023

Conversation

conradludgate
Copy link
Collaborator

@conradludgate conradludgate commented Feb 6, 2023

If you are not satisfied with the current fuzzy search, please try this out and let us know if you find the results any better. This is ultimately a very subjective issue, but it's worth considering.

Install using

cargo install --locked --git https://github.com/ellie/atuin --branch skim-demo

@ellie
Copy link
Member

ellie commented Feb 14, 2023

I think it would be good to get this released asap under search_mode "skim"

We can then try to get a bunch of people trying it - if they like it, we can consider replacing the other fuzzy mode, or changing the default mode

@vercel
Copy link

vercel bot commented Mar 19, 2023

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated
atuin ✅ Ready (Inspect) Visit Preview 💬 Add your feedback Mar 19, 2023 at 4:31PM (UTC)

@conradludgate
Copy link
Collaborator Author

Over-engineering, I can imagine restructuring the commands (just for indexing, not as a source of truth) to be

command_text{ id, text, count }
directories{ id, path }
host{ id, name }
executed { command_id, directory_id, session_id, host_id, timestamp }

To play with at some other time though. I cba now

@conradludgate conradludgate merged commit edcd477 into main Mar 19, 2023
6 checks passed
@conradludgate conradludgate deleted the skim-demo branch March 19, 2023 20:49
@conradludgate
Copy link
Collaborator Author

Was asked to add cwd weighting but that can be added later, gonna merge as is for now so it's easier to play with

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.

None yet

3 participants