diff options
-rw-r--r-- | doc/man-home-manager.xml | 16 | ||||
-rw-r--r-- | home-manager/home-manager | 5 |
2 files changed, 21 insertions, 0 deletions
diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml index 3b89939443d..a0f55d1106a 100644 --- a/doc/man-home-manager.xml +++ b/doc/man-home-manager.xml @@ -103,6 +103,10 @@ </arg> <arg> + --option <replaceable>name</replaceable> <replaceable>value</replaceable> + </arg> + + <arg> --cores <replaceable>number</replaceable> </arg> @@ -372,6 +376,18 @@ </varlistentry> <varlistentry> <term> + <option>--option <replaceable>name</replaceable> <replaceable>value</replaceable></option> + </term> + <listitem> + <para> + Passed on to <citerefentry> + <refentrytitle>nix-build</refentrytitle> + <manvolnum>1</manvolnum> </citerefentry>. + </para> + </listitem> + </varlistentry> + <varlistentry> + <term> <option>--cores <replaceable>number</replaceable></option> </term> <listitem> diff --git a/home-manager/home-manager b/home-manager/home-manager index 2e7f8c72ebd..6fe4f13c7f0 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -429,6 +429,7 @@ function doHelp() { echo " --keep-failed" echo " --keep-going" echo " --max-jobs NUM" + echo " --option NAME VALUE" echo " --show-trace" echo echo "Commands" @@ -498,6 +499,10 @@ while [[ $# -gt 0 ]]; do -n|--dry-run) export DRY_RUN=1 ;; + --option) + PASSTHROUGH_OPTS+=("$opt" "$1" "$2") + shift 2 + ;; --max-jobs|--cores) PASSTHROUGH_OPTS+=("$opt" "$1") shift |