Home manager option search interface

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

9 Likes
Hosted by Flying Circus.