diff --git a/doc/man-home-manager.xml b/doc/man-home-manager.xml index a0f55d11..117bc494 100644 --- a/doc/man-home-manager.xml +++ b/doc/man-home-manager.xml @@ -126,6 +126,10 @@ --show-trace + + --(no-)substitute + + @@ -446,6 +450,18 @@ + + + + + + + Passed on to + nix-build + 1 . + + + diff --git a/home-manager/home-manager b/home-manager/home-manager index 6fe4f13c..6d0f52fb 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -431,6 +431,7 @@ function doHelp() { echo " --max-jobs NUM" echo " --option NAME VALUE" echo " --show-trace" + echo " --(no-)substitute" echo echo "Commands" echo @@ -507,7 +508,8 @@ while [[ $# -gt 0 ]]; do PASSTHROUGH_OPTS+=("$opt" "$1") shift ;; - --keep-failed|--keep-going|--show-trace) + --keep-failed|--keep-going|--show-trace\ + |--substitute|--no-substitute) PASSTHROUGH_OPTS+=("$opt") ;; -v|--verbose)