nix-on-droid: passthrough --override-input arg

This commit is contained in:
pancho horrillo 2025-05-10 07:29:41 +02:00
parent 5d88ff2519
commit 577882acd2
No known key found for this signature in database
GPG key ID: 11E0447D4ABBA7D0

View file

@ -68,6 +68,7 @@ function doHelp() {
echo " --keep-going"
echo " --max-jobs NUM"
echo " --option NAME VALUE"
echo " --override-input INPUT URL"
echo " --show-trace"
echo
echo "Commands"
@ -162,7 +163,7 @@ while [[ $# -gt 0 ]]; do
-n|--dry-run)
export DRY_RUN=1
;;
--option)
--option|--override-input)
PASSTHROUGH_OPTS+=("$opt" "$1" "$2")
shift 2
;;