From 75d71a98fbca6da935e38ef65b23c7cf3d90e3ab Mon Sep 17 00:00:00 2001 From: ncfavier Date: Sun, 5 Feb 2023 10:13:26 +0000 Subject: [PATCH] deploy: ffc022b6a7fcd8ae1d9310dc1713257f0aaf5f8e --- options.html | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/options.html b/options.html index 8500f4ab..851ef4fe 100644 --- a/options.html +++ b/options.html @@ -6217,6 +6217,13 @@ manually set any options not listed above.

Type }

Declared by:

<home-manager/modules/programs/vim.nix> +
programs.vim-vint.enable

Whether to enable the Vint linter for Vimscript.

Type: boolean

Default: false

Example: true

Declared by:

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

The vim-vint package to use.

Type: package

Default: pkgs.vim-vint

Declared by:

+ <home-manager/modules/programs/vim-vint.nix> +
programs.vim-vint.settings

Configuration written to +$XDG_CONFIG_HOME/.vintrc.yaml

Type: YAML value

Default: { }

Declared by:

+ <home-manager/modules/programs/vim-vint.nix>
programs.vscode.enable

Whether to enable Visual Studio Code.

Type: boolean

Default: false

Example: true

Declared by:

<home-manager/modules/programs/vscode.nix>
programs.vscode.enableExtensionUpdateCheck

Whether to enable update notifications for extensions.

Type: boolean

Default: true

Declared by: