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 76df3fb41..b22cde740 100644 --- a/options.html +++ b/options.html @@ -2547,7 +2547,16 @@ this should be a wrapped Firefox package. For earlier state versions it should be an unwrapped Firefox package.
Type: package
Default:
pkgs.firefox
-
Declared by:
+ Example: pkgs.firefox.override {
+ # See nixpkgs' firefox/wrapper.nix to check which options you can use
+ cfg = {
+ # Gnome shell native connector
+ enableGnomeExtensions = true;
+ # Tridactyl native connector
+ enableTridactylNative = true;
+ };
+}
+Declared by:
programs.firefox.extensionsList of Firefox add-on packages to install. Some pre-packaged add-ons are accessible from NUR, diff --git a/tools.html b/tools.html index 4ee167c8a..67b0b4ca2 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -
Namehome-manager +
Namehome-manager — reconfigure a user environment Synopsis
Description
This command updates the user environment so that it corresponds to the
configuration specified in @@ -139,7 +139,7 @@ available for immediate garbage collection.
- OptionsThe tool accepts the options
|