home-manager: forward --no-write-lock-file (#2471)

This commit is contained in:
Sandro 2021-11-15 05:00:26 +01:00 committed by GitHub
parent accfbdf215
commit 3f12ce5f7d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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)