diff --git a/options.html b/options.html index 9fc5c85a7..447cbf563 100644 --- a/options.html +++ b/options.html @@ -4449,6 +4449,26 @@ string

Default: "https"

Example: "ssh"

Declared by:

<home-manager/modules/programs/gh.nix> +
programs.gh-dash.enable

Whether to enable GitHub CLI dashboard plugin.

Type: +boolean

Default: +false

Example: +true

Declared by:

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

The gh-dash package to use.

Type: +package

Default: +pkgs.gh-dash

Declared by:

+<home-manager/modules/programs/gh-dash.nix> +
programs.gh-dash.settings

Configuration written to $XDG_CONFIG_HOME/gh-dash/config.yml.

Type: +YAML value

Default: +{ }

Example:

{
+  prSections = [{
+    title = "My Pull Requests";
+    filters = "is:open author:@me";
+  }];
+}
+
+

Declared by:

+<home-manager/modules/programs/gh-dash.nix>
programs.git.enable

Whether to enable Git.

Type: boolean

Default: false

Example: