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

Feature Request: Add Grouping / Custom Filters #35

Open
remadisson opened this issue Jan 4, 2025 · 0 comments
Open

Feature Request: Add Grouping / Custom Filters #35

remadisson opened this issue Jan 4, 2025 · 0 comments

Comments

@remadisson
Copy link

Hello,

I really love this plugin—it makes searching for hosts so much more pleasant.

In addition, I’d love to see some sort of grouping or filtering for easier usage and quicker access to rarely used hosts. For example, having separate groups for work and personal use. Using a keyword like work could then display only the hosts in that group.

I’m not a big fan of relying on prefixes or suffixes for this, but they might work as a temporary solution.

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

No branches or pull requests

1 participant