diff options
| -rw-r--r-- | modules/manual.nix | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/modules/manual.nix b/modules/manual.nix index d597d002dbf..0c2681b3acf 100644 --- a/modules/manual.nix +++ b/modules/manual.nix @@ -83,13 +83,26 @@ in Thanks! ''; }; + + manual.json.enable = mkOption { + type = types.bool; + default = false; + example = true; + description = '' + Whether to install a JSON formatted list of all Home Manager + options. This can be located at + <filename><profile directory>/share/doc/home-manager/options.json</filename>, + and may be used for navigating definitions, auto-completing, + and other miscellaneous tasks. + ''; + }; }; config = { home.packages = mkMerge [ (mkIf cfg.html.enable [ helpScript homeManagerManual.manual ]) - (mkIf cfg.manpages.enable [ homeManagerManual.manpages ]) + (mkIf cfg.json.enable [ homeManagerManual.optionsJSON ]) ]; }; |