diff --git a/index.html b/index.html index 45da55a03..69c9f5eba 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -
ca.desrt.dconf
?+
ca.desrt.dconf
?This manual will eventually describes how to install, use, and extend Home Manager.
diff --git a/options.html b/options.html index 7e625a946..823827941 100644 --- a/options.html +++ b/options.html @@ -6176,16 +6176,25 @@ should be used whenever possible.
programs.rofi.colors.window.separator
Separator color
Type: string
Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.configPath
Path where to put generated configuration file.
Type: string
Default:
- "\$XDG_CONFIG_HOME/rofi/config"
+ "\$XDG_CONFIG_HOME/rofi/config.rasi"
Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.cycle
Whether to cycle through the results list.
Type: null or boolean
Default:
null
Declared by:
<home-manager/modules/programs/rofi.nix>
- |
programs.rofi.extraConfig
Additional configuration to add.
Type: strings concatenated with "\n"
Default:
- ""
-
Declared by:
+ |
programs.rofi.extraConfig
Additional configuration to add.
Type: attribute set of signed integer or string or booleans
Default:
+
+ {
+
+ }
+
+
Example:
{ + modi = "drun,emoji,ssh"; + kb-primary-paste = "Control+V,Shift+Insert"; + kb-secondary-paste = "Control+v,Insert"; +} +
Declared by:
<home-manager/modules/programs/rofi.nix>
|
programs.rofi.font
Font to use.
Type: null or string
Default: As a result of this change,
null
diff --git a/release-notes.html b/release-notes.html
index b5209f7d5..83044bf35 100644
--- a/release-notes.html
+++ b/release-notes.html
@@ -22,7 +22,17 @@ derivations. The following configuration is now possible:
];
});
programs.mpv.package
is no longer the
resulting derivation. Use the newly introduced programs.mpv.finalPackage
-instead.
The state version in this release includes the changes below. These +instead.
+The programs.rofi.extraConfig
option is now an attrset rather
+than a string. To migrate, move the each line into the attrset,
+removing the rofi.
prefix from the keys. For example,
+
programs.rofi.extraConfig = '' + rofi.show-icons: true + rofi.modi: drun,emoji,ssh +'';
becomes
programs.rofi.extraConfig = { + show-icons = true; + modi = "drun,emoji,ssh"; +};
The state version in this release includes the changes below. These
changes are only active if the home.stateVersion
option is set to
"21.03" or later.
home-manager +
home-manager — reconfigure a user environment
home-manager
{
build
|
@@ -72,7 +72,7 @@
|
--verbose
}
- ]
This command updates the user environment so that it corresponds to the
configuration specified in ~/.config/nixpkgs/home.nix
.
@@ -137,7 +137,7 @@ available for immediate garbage collection.
-
The tool accepts the options
-A attrPath
@@ -226,15 +226,15 @@
--verbose
Activates verbose output. -