From f418a2afbb3cc73a60272ff00d195d10c7277aca Mon Sep 17 00:00:00 2001 From: rycee Date: Wed, 23 Dec 2020 00:05:52 +0000 Subject: [PATCH] deploy: 3627ec4de58d7fbda13c82dfec94eace10198f23 --- index.html | 4 ++-- options.html | 42 +++++++++++++++++++++++++++++++++++++----- tools.html | 14 +++++++------- 3 files changed, 46 insertions(+), 14 deletions(-) diff --git a/index.html b/index.html index 35781c445..371475790 100644 --- a/index.html +++ b/index.html @@ -1,6 +1,6 @@ -Home Manager Manual

Home Manager Manual


Preface

+Home Manager Manual

Home Manager Manual


Preface

This manual will eventually describes how to install, use, and extend Home Manager.

diff --git a/options.html b/options.html index 7f16ab8ce..c54300c52 100644 --- a/options.html +++ b/options.html @@ -2221,20 +2221,52 @@ The possible attributes are:

programs.chromium.extensions

List of Chromium extensions to install. To find the extension ID, check its URL on the Chrome Web Store. -

Type: list of strings

Default: +

+To install extensions outside of the Chrome Web Store set +updateUrl or crxPath and +version as explained in the +Chrome +documentation. +

Type: list of submodule or string convertible to its

Default: [ ]

Example:

[
-  "chlffgpmiacpedhhbkiomidkjlcfhogd" # pushbullet
-  "mbniclmhobmnbdlbpiphghaielnnpgdp" # lightshot
-  "gcbommkclmclpchllfjekcdonpmejbdp" # https everywhere
-  "cjpalhdlnbpafiamejdnhcphjbkeiagm" # ublock origin
+  { id = "cjpalhdlnbpafiamejdnhcphjbkeiagm"; } # ublock origin
+  {
+    id = "dcpihecpambacapedldabdbpakmachpb";
+    updateUrl = "https://raw.githubusercontent.com/iamadamdev/bypass-paywalls-chrome/master/updates.xml";
+  }
+  {
+    id = "aaaaaaaaaabbbbbbbbbbcccccccccc";
+    crxPath = "/home/share/extension.crx";
+    version = "1.0";
+  }
 ]
 

Declared by:

<home-manager/modules/programs/chromium.nix> +
programs.chromium.extensions.*.crxPath

Path to the extension's crx file. Linux only. +

Type: null or path

Default: + null +

Declared by:

+ <home-manager/modules/programs/chromium.nix> +
programs.chromium.extensions.*.id

The extension's ID from the Chome Web Store url or the unpacked crx. +

Type: string matching the pattern [a-zA-Z]{32}

Default: + "" +

Declared by:

+ <home-manager/modules/programs/chromium.nix> +
programs.chromium.extensions.*.updateUrl

URL of the extension's update manifest XML file. Linux only. +

Type: string

Default: + "https://clients2.google.com/service/update2/crx" +

Declared by:

+ <home-manager/modules/programs/chromium.nix> +
programs.chromium.extensions.*.version

The extension's version, required for local installation. Linux only. +

Type: null or string

Default: + null +

Declared by:

+ <home-manager/modules/programs/chromium.nix>
programs.command-not-found.enable

Whether to enable command-not-found hook for interactive shell.

Type: boolean

Default: false

Example: diff --git a/tools.html b/tools.html index c3eed8853..9517a2e1a 100644 --- a/tools.html +++ b/tools.html @@ -1,6 +1,6 @@ -Appendix B. Tools

Appendix B. Tools

home-manager - — reconfigure a user environment

Name

home-manager +Appendix B. Tools

Appendix B. Tools

home-manager + — reconfigure a user environment

Name

home-manager — reconfigure a user environment

Synopsis

home-manager { build | @@ -72,7 +72,7 @@ | --verbose } - ]

Description

+ ]

Description

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.

-

Options

+

Options

The tool accepts the options

-A attrPath @@ -226,15 +226,15 @@ --verbose

Activates verbose output. -

Files

+

Files

~/.local/share/home-manager/news-read-ids

Identifiers of news items that have been shown. Can be deleted to reset the read news indicator. -

Bugs

+

Bugs

Please report any bugs on the project issue tracker. -

See also

+

See also

home-configuration.nix(5)

\ No newline at end of file