From 3f12ce5f7df69dfb8e12b02e88979b9d7770c663 Mon Sep 17 00:00:00 2001 From: Sandro Date: Mon, 15 Nov 2021 05:00:26 +0100 Subject: [PATCH] home-manager: forward --no-write-lock-file (#2471) --- home-manager/home-manager | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/home-manager/home-manager b/home-manager/home-manager index e47414171..eccb76cfb 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -524,6 +524,7 @@ function doHelp() { echo " --show-trace" echo " --(no-)substitute" echo " --no-out-link Do not create a symlink to the output path" + echo " --no-write-lock-file" echo " --builders VALUE" echo echo "Commands" @@ -625,7 +626,8 @@ while [[ $# -gt 0 ]]; do shift ;; --debug|--keep-failed|--keep-going|--show-trace\ - |--substitute|--no-substitute|--impure) + |--substitute|--no-substitute|--impure\ + |--no-write-lock-file) PASSTHROUGH_OPTS+=("$opt") ;; -v|--verbose)