From fd79015c0feee0e61e17f6ed59b4e9d01d9ef597 Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Fri, 13 Nov 2020 23:56:57 +0100 Subject: [PATCH] home-manager: pass `-j` to nix-build Fixes #1596 --- doc/man-home-manager.xml | 14 +++++++++++++- home-manager/completion.bash | 3 ++- home-manager/home-manager | 4 ++-- 3 files changed, 17 insertions(+), 4 deletions(-) diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml index 2f141d970..3bfe02302 100644 --- a/doc/man-home-manager.xml +++ b/doc/man-home-manager.xml @@ -115,7 +115,16 @@ - --max-jobs number + + + -j + + + + --max-jobs + + + number @@ -417,6 +426,9 @@ + + + diff --git a/home-manager/completion.bash b/home-manager/completion.bash index e9f045789..d5b48258d 100644 --- a/home-manager/completion.bash +++ b/home-manager/completion.bash @@ -285,7 +285,8 @@ _home-manager_completions () #--------------------------# local Options - Options=( "-f" "--file" "-b" "-A" "-I" "-h" "--help" "-n" "--dry-run" "-v" "--verbose" "--show-trace" ) + Options=( "-f" "--file" "-b" "-A" "-I" "-h" "--help" "-n" "--dry-run" "-v" "--verbose" "--show-trace" \ + "-j" "--max-jobs" ) # ^ « home-manager »'s options. diff --git a/home-manager/home-manager b/home-manager/home-manager index 43303d5de..632198386 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -424,7 +424,7 @@ function doHelp() { echo " --cores NUM" echo " --keep-failed" echo " --keep-going" - echo " --max-jobs NUM" + echo " -j, --max-jobs NUM" echo " --option NAME VALUE" echo " --show-trace" echo " --(no-)substitute" @@ -501,7 +501,7 @@ while [[ $# -gt 0 ]]; do PASSTHROUGH_OPTS+=("$opt" "$1" "$2") shift 2 ;; - --max-jobs|--cores) + -j|--max-jobs|--cores) PASSTHROUGH_OPTS+=("$opt" "$1") shift ;;