diff --git a/modules/manual.nix b/modules/manual.nix index d597d002..0c2681b3 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 + <profile directory>/share/doc/home-manager/options.json, + 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 ]) ]; };