diff --git a/index.html b/index.html index 56ffb25c..136a9f6e 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
or dconf.service
?+
ca.desrt.dconf
or dconf.service
?This manual will eventually describe how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 275b66cb..0637c891 100644 --- a/options.html +++ b/options.html @@ -6004,6 +6004,21 @@ documentation for details. ]
Example: [ pkgs.pidgin-otr pkgs.pidgin-osd ]
Declared by:
<home-manager/modules/programs/pidgin.nix>
+ |
programs.pistol.enable
Whether to enable Pistol, a general purpose file previewer designed for terminal file +managers.
Type: boolean
Default: false
Example: true
Declared by:
+ <home-manager/modules/programs/pistol.nix>
+ |
programs.pistol.config
Pistol configuration written to
+$XDG_CONFIG_HOME/pistol/pistol.conf
.
+
Type: attribute set of string
Default:
+ {
+
+ }
+
Example:
{ + "text/*" = "bat --paging=never --color=always %pistol-filename%"; + "inode/directory" = "ls -l --color %pistol-filename%"; +} +
Declared by:
+ <home-manager/modules/programs/pistol.nix>
|
programs.piston-cli.enable
Whether to enable piston-cli, code runner.
Type: boolean
Default: false
Example: true
Declared by:
<home-manager/modules/programs/piston-cli.nix>
|
programs.piston-cli.package
The piston-cli package to use.
Type: package
Default: pkgs.piston-cli
Declared by: