Skip to content

home manager options: back + front#1202

Merged
raboof merged 1 commit intomainfrom
feat/home-manager-options
Apr 28, 2026
Merged

home manager options: back + front#1202
raboof merged 1 commit intomainfrom
feat/home-manager-options

Conversation

@KiaraGrouwstra
Copy link
Copy Markdown
Collaborator

@KiaraGrouwstra KiaraGrouwstra commented Apr 13, 2026

filing these together as draft to hopefully get the working demo up - first part (back) filed separately at #1201.

edit: maybe draft won't deploy? trying marked ready now.

okay i guess deployment wouldn't work until the back-end has been populated with the needed info? marking as draft again then.

@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch 3 times, most recently from 981aa1d to 7fb3346 Compare April 13, 2026 14:46
@KiaraGrouwstra KiaraGrouwstra marked this pull request as ready for review April 13, 2026 14:47
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 13, 2026

@github-actions github-actions Bot temporarily deployed to pull request April 13, 2026 14:47 Inactive
@KiaraGrouwstra
Copy link
Copy Markdown
Collaborator Author

screenshot of this in action:

image

@raboof
Copy link
Copy Markdown
Member

raboof commented Apr 13, 2026

Looks great to me! I've approved #1201

@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch from 7fb3346 to 60c1909 Compare April 13, 2026 15:20
@github-actions github-actions Bot temporarily deployed to pull request April 13, 2026 15:21 Inactive
@KiaraGrouwstra
Copy link
Copy Markdown
Collaborator Author

should the new index be available yet? the deployed demo here seems not to be getting results yet

@raboof
Copy link
Copy Markdown
Member

raboof commented Apr 14, 2026

Had a look, looks like #1201 was missing the version.nix version bump the backend (sorry, missed that in the review) - could you PR that?

@raboof
Copy link
Copy Markdown
Member

raboof commented Apr 15, 2026

the index should now be populated, and indeed https://69dd09ea1ee76aac8f032035--nixos-search.netlify.app/options?channel=unstable&include_home_manager_options=1&include_modular_service_options=1&include_nixos_options=1&query=nix no longer produces 404's, but it also doesn't show any home-manager options

@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch from 60c1909 to 3de4619 Compare April 16, 2026 19:43
@github-actions github-actions Bot temporarily deployed to pull request April 16, 2026 20:19 Inactive
@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch from e75d21c to f6fa59a Compare April 16, 2026 20:27
@github-actions github-actions Bot temporarily deployed to pull request April 16, 2026 20:28 Inactive
@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch from f6fa59a to 5c80948 Compare April 20, 2026 17:19
@github-actions github-actions Bot temporarily deployed to pull request April 20, 2026 17:20 Inactive
@KiaraGrouwstra
Copy link
Copy Markdown
Collaborator Author

the demo here seems functional now

Add a "Home Manager" checkbox to the Options page sidebar alongside
the existing NixOS and Modular services toggles, handled identically
via the `OptionSource` mechanism.

- Add `HomeManagerOptionSource` variant to `OptionSource` with ES
  document type `home-manager-option`
- Switch `excludedOptionSources` to `includedOptionSources` throughout
  Route, Search, Main, and Options for clearer positive-set semantics
- Add `docType` field to `ResultItemSource` (decoded from ES `type`)
  to distinguish option kinds without metadata heuristics
- Use `docType:name` as the option identity for expand/collapse, so
  identically-named options from different sources toggle independently
- Show pill badges (NixOS / Service / HM) when multiple categories are
  enabled in the filter
- Add Usage snippets with `_class` for all three option types
- Bump frontend schema version to 47
@KiaraGrouwstra KiaraGrouwstra force-pushed the feat/home-manager-options branch from 5c80948 to 832c1a3 Compare April 27, 2026 21:22
@github-actions github-actions Bot temporarily deployed to pull request April 27, 2026 21:24 Inactive
@raboof
Copy link
Copy Markdown
Member

raboof commented Apr 28, 2026

@raboof raboof merged commit c26b0ee into main Apr 28, 2026
4 checks passed
@raboof raboof deleted the feat/home-manager-options branch April 28, 2026 13:18
@Eveeifyeve
Copy link
Copy Markdown
Member

Eveeifyeve commented Apr 28, 2026

There is a current issue with this as the home-manager options don't quite link up when clicking to see the source code, I think it was missed in testing. 😆 Never mind in a pr already, I was too late to speak 😆 #1240

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.

3 participants