From d9fd49b6c455171e7103bed05d88c20aeb00861c Mon Sep 17 00:00:00 2001 From: Tobias Happ Date: Wed, 8 Jan 2020 20:56:12 +0100 Subject: [PATCH] nix-on-droid: add -I argument --- nix-on-droid/nix-on-droid.sh | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/nix-on-droid/nix-on-droid.sh b/nix-on-droid/nix-on-droid.sh index 5882fd2..3c94f5f 100644 --- a/nix-on-droid/nix-on-droid.sh +++ b/nix-on-droid/nix-on-droid.sh @@ -25,10 +25,11 @@ function doHelp() { echo " -h|--help Print this help" echo " -n|--dry-run Do a dry run, only prints what actions would be taken" echo " -v|--verbose Verbose output" - echo " -f|--file Path to config file" + echo " -f|--file FILE Path to config file" echo echo "Options passed on to nix build" echo + echo " -I|--include PATH" echo " --cores NUM" echo " --keep-failed" echo " --keep-going" @@ -90,10 +91,10 @@ function doSwitchGeneration() { } -COMMAND= COMMAND_ARGS=() -PASSTHROUGH_OPTS=() +COMMAND= CONFIG_FILE= +PASSTHROUGH_OPTS=() while [[ $# -gt 0 ]]; do opt="$1" @@ -110,6 +111,10 @@ while [[ $# -gt 0 ]]; do doHelp exit 0 ;; + -I|--include) + PASSTHROUGH_OPTS+=(-I "$1") + shift + ;; -n|--dry-run) export DRY_RUN=1 ;;