diff --git a/docs/src/modules_schema.md b/docs/src/modules_schema.md index 245d7d6b..7d5a922d 100644 --- a/docs/src/modules_schema.md +++ b/docs/src/modules_schema.md @@ -244,6 +244,49 @@ Whether to enable load etc/profiles.d/*.sh in the shell. ``` +Declared in: +* [modules/devshell.nix](https://github.com/numtide/devshell/tree/main/modules/devshell.nix) + +## `devshell.menu` + +Controls devshell menu + + +**Default value**: +```nix +{"_type":"literalExpression","text":"{ }"} +``` + + +**Type**: submodule + +**Example value**: +```nix +{"_type":"literalExpression","text":"{\n interpolate = true;\n}\n"} +``` + + +Declared in: +* [modules/devshell.nix](https://github.com/numtide/devshell/tree/main/modules/devshell.nix) + +## `devshell.menu.interpolate` + +Whether to enable interpolation in the devshell menu. + +**Default value**: +```nix +{"_type":"literalExpression","text":"false"} +``` + + +**Type**: boolean + +**Example value**: +```nix +{"_type":"literalExpression","text":"true"} +``` + + Declared in: * [modules/devshell.nix](https://github.com/numtide/devshell/tree/main/modules/devshell.nix)