Home manager option search interface

Links
1

https://mipmip.github.io/home-manager-option-search/

10 Likes