diff options
author | Robert Helgesson <robert@rycee.net> | 2019-08-30 00:52:09 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2019-08-30 00:52:09 +0200 |
commit | 8ab1d22a82b0cda5acc06c3d6404b4c6c9c8e267 (patch) | |
tree | 3189e308ff3efa63e6343315f7aef88368795cc8 /home-manager | |
parent | b6289f70221ca9ef986512a01cca95337981cda2 (diff) |
home-manager: support `--option` argument
Fixes #784
Diffstat (limited to 'home-manager')
-rw-r--r-- | home-manager/home-manager | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/home-manager/home-manager b/home-manager/home-manager index 2e7f8c72ebd..6fe4f13c7f0 100644 --- a/home-manager/home-manager +++ b/home-manager/home-manager @@ -429,6 +429,7 @@ function doHelp() { echo " --keep-failed" echo " --keep-going" echo " --max-jobs NUM" + echo " --option NAME VALUE" echo " --show-trace" echo echo "Commands" @@ -498,6 +499,10 @@ while [[ $# -gt 0 ]]; do -n|--dry-run) export DRY_RUN=1 ;; + --option) + PASSTHROUGH_OPTS+=("$opt" "$1" "$2") + shift 2 + ;; --max-jobs|--cores) PASSTHROUGH_OPTS+=("$opt" "$1") shift |