aboutsummaryrefslogtreecommitdiff
path: root/home-manager/home-manager
diff options
context:
space:
mode:
authorRobert Helgesson <robert@rycee.net>2019-08-26 22:45:31 +0200
committerRobert Helgesson <robert@rycee.net>2019-08-26 23:06:36 +0200
commit8fe4e0879c15102f5d30f9803d53ba4e8493a120 (patch)
tree61d61f3851bfd46e788ea6e8c1f5d0e00d890a63 /home-manager/home-manager
parent6bec9547c67d603e266d0f039b5cf6e1e6f23813 (diff)
home-manager: support a few extra pass-through options
These options will be passed through to the `nix-build` tool.
Diffstat (limited to 'home-manager/home-manager')
-rw-r--r--home-manager/home-manager14
1 files changed, 13 insertions, 1 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager
index 86adde1e5d0..2e7f8c72ebd 100644
--- a/home-manager/home-manager
+++ b/home-manager/home-manager
@@ -423,6 +423,14 @@ function doHelp() {
echo " -n Do a dry run, only prints what actions would be taken"
echo " -h Print this help"
echo
+ echo "Options passed on to nix-build(1)"
+ echo
+ echo " --cores NUM"
+ echo " --keep-failed"
+ echo " --keep-going"
+ echo " --max-jobs NUM"
+ echo " --show-trace"
+ echo
echo "Commands"
echo
echo " help Print this help"
@@ -490,7 +498,11 @@ while [[ $# -gt 0 ]]; do
-n|--dry-run)
export DRY_RUN=1
;;
- --show-trace)
+ --max-jobs|--cores)
+ PASSTHROUGH_OPTS+=("$opt" "$1")
+ shift
+ ;;
+ --keep-failed|--keep-going|--show-trace)
PASSTHROUGH_OPTS+=("$opt")
;;
-v|--verbose)