readme: add inofficial option search

This commit is contained in:
pogobanane 2022-10-31 13:21:09 +01:00 committed by Robert Helgesson
parent 8957d53199
commit 824202b4c4
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89
1 changed files with 3 additions and 2 deletions

View File

@ -14,8 +14,9 @@ Before attempting to use Home Manager please read the warning below.
For a systematic overview of Home Manager and its available options,
please see
- the [Home Manager manual][manual] and
- the [Home Manager configuration options][configuration options].
- the [Home Manager manual][manual],
- the [Home Manager configuration options][configuration options], and
- the 3rd party [Home Manager option search](https://mipmip.github.io/home-manager-option-search/).
If you would like to contribute to Home Manager
then please have a look at the [contributing][] chapter of the manual.