diff --git a/index.html b/index.html index f6060463..b6379c09 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 5b747bba..bb50fe1d 100644 --- a/options.html +++ b/options.html @@ -2656,6 +2656,42 @@ to use depending on commit’s author. <home-manager/modules/programs/git.nix>
programs.git.userName
Default user name to use.
Type: null or string
Default: null
Declared by:
<home-manager/modules/programs/git.nix>
+ |
programs.gitui.enable
Whether to enable gitui, blazing fast terminal-ui for git written in rust.
Type: boolean
Default: false
Example: true
Declared by:
+ <home-manager/modules/programs/gitui.nix>
+ |
programs.gitui.package
The package to use.
Type: package
Default: "pkgs.gitui"
Declared by:
+ <home-manager/modules/programs/gitui.nix>
+ |
programs.gitui.keyConfig
Key config in Ron file format. This is written to
+$XDG_CONFIG_HOME/gitui/key_config.ron
.
+
Type: path or strings concatenated with "\n"
Default: ""
Example:
'' +exit: Some(( code: Char('c'), modifiers: ( bits: 2,),)), +quit: Some(( code: Char('q'), modifiers: ( bits: 0,),)), +exit_popup: Some(( code: Esc, modifiers: ( bits: 0,),)), +''
Declared by:
+ <home-manager/modules/programs/gitui.nix>
+ |
programs.gitui.theme
Theme in Ron file format. This is written to
+$XDG_CONFIG_HOME/gitui/theme.ron
.
+
Type: path or strings concatenated with "\n"
Default:
'' +( + selected_tab: Reset, + command_fg: White, + selection_bg: Blue, + cmdbar_extra_lines_bg: Blue, + disabled_fg: DarkGray, + diff_line_add: Green, + diff_line_delete: Red, + diff_file_added: LightGreen, + diff_file_removed: LightRed, + diff_file_moved: LightMagenta, + diff_file_modified: Yellow, + commit_hash: Magenta, + commit_time: LightCyan, + commit_author: Green, + danger_fg: Red, + push_gauge_bg: Blue, + push_gauge_fg: Reset, +) +''
Declared by:
+ <home-manager/modules/programs/gitui.nix>
|
programs.gnome-terminal.enable
Whether to enable Gnome Terminal.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/programs/gnome-terminal.nix>
|
programs.gnome-terminal.profile
A set of Gnome Terminal profiles.
Type: attribute set of submodules
Default: home-manager
+ home-manager
— reconfigure a user environment
This command updates the user environment so that it corresponds to the
configuration specified in
@@ -153,7 +153,7 @@
available for immediate garbage collection.
-
The tool accepts the options
Activates verbose output.
-
diff --git a/tools.html b/tools.html
index 3066e7df..17d780a4 100644
--- a/tools.html
+++ b/tools.html
@@ -1,6 +1,6 @@
-
Name
Name
Synopsis
home-manager
{
build
|
@@ -84,7 +84,7 @@
|
--verbose
}
- ]Description
~/.config/nixpkgs/home.nix
or ~/.config/nixpkgs/flake.nix
.
Options
-A
@@ -265,15 +265,15 @@
attrPath
--verbose