diff options
author | Robert Helgesson <robert@rycee.net> | 2019-08-26 22:45:31 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2019-08-26 23:06:36 +0200 |
commit | 8fe4e0879c15102f5d30f9803d53ba4e8493a120 (patch) | |
tree | 61d61f3851bfd46e788ea6e8c1f5d0e00d890a63 /home-manager/home-manager | |
parent | 6bec9547c67d603e266d0f039b5cf6e1e6f23813 (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-manager | 14 |
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) |