From 06b4bb4a3ca49973b4f555b1f19aff68aa12cbf1 Mon Sep 17 00:00:00 2001 From: rycee Date: Sat, 8 Jul 2023 09:43:15 +0000 Subject: [PATCH] deploy: 069d450b6d2da9369ee5a8ddb2dbf909d3535471 --- options.html | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/options.html b/options.html index c86beb61d..e8029bcda 100644 --- a/options.html +++ b/options.html @@ -5643,6 +5643,21 @@ manual = False force_color = False ''

Declared by:

<home-manager/modules/programs/pubs.nix> +
programs.pyenv.enable

Whether to enable pyenv.

Type: boolean

Default: false

Example: true

Declared by:

+ <home-manager/modules/programs/pyenv.nix> +
programs.pyenv.enableBashIntegration

Whether to enable pyenv's Bash integration.

Type: boolean

Default: true

Declared by:

+ <home-manager/modules/programs/pyenv.nix> +
programs.pyenv.enableFishIntegration

Whether to enable pyenv's Fish integration.

Type: boolean

Default: true

Declared by:

+ <home-manager/modules/programs/pyenv.nix> +
programs.pyenv.enableZshIntegration

Whether to enable pyenv's Zsh integration.

Type: boolean

Default: true

Declared by:

+ <home-manager/modules/programs/pyenv.nix> +
programs.pyenv.package

The package to use for pyenv.

Type: package

Default: pkgs.pyenv

Declared by:

+ <home-manager/modules/programs/pyenv.nix> +
programs.pyenv.rootDirectory

The pyenv root directory (PYENV_ROOT). +

+Note: Deviating from upstream which uses `$HOME/.pyenv`, +the default path is set according to the XDG base directory specification.

Type: path

Default: "\${config.xdg.dataHome}/pyenv"

Declared by:

+ <home-manager/modules/programs/pyenv.nix>
programs.pylint.enable

Whether to enable the pylint Python linter.

Type: boolean

Default: false

Example: true

Declared by:

<home-manager/modules/programs/pylint.nix>
programs.pylint.package

The pylint package to use.

Type: package

Default: pkgs.python3Packages.pylint

Declared by: