Add bang for NixOS home-manager options search#412
Open
alexbsmith5 wants to merge 1 commit into
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Added a bang to search for home-manager options on the search.nixos.org website.
This may be a controversial decision as there is active discussion on NixOS/nixos-search#1281 about removing this search parameter from the official search website. There is another website which provides similar functionality hosted by extranix.com. I added this bang back in December #338 and at the time the official option either didn't exist or I had no knowledge of it. If I had known about the search.nixos.org search option, I wold have not created the extranix.com bang and instead only added the former.
It appears that the discussion from nixos-search favors keeping the home-manager search option but marking it as part of the nixos-community and not an official part of NixOS. I would also be open to the idea of removing the extranix.com home-manager search bang and only having the official nixos.org search option.
I apologize for any disruption I may have caused bringing this up, but I hope that this can lead to the improved usability of Kagi Search bangs for NixOS development.