diff options
| -rw-r--r-- | bpkg-rep/publish.in | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/bpkg-rep/publish.in b/bpkg-rep/publish.in index e828692..1c2f88d 100644 --- a/bpkg-rep/publish.in +++ b/bpkg-rep/publish.in @@ -59,6 +59,12 @@ # Run quiet. Specifically, don't dump the log to stderr on exit with zero # status. # +# --config <path> +# +# The configuration file containing a bash fragment. Repeat this option to +# specify multiple configurations that will be sourced in the order +# specified. +# # --bpkg <path> # # The package manager program to be used for the repository update. This @@ -79,6 +85,7 @@ timeout=60 lock_timeout=0 log_dir= quiet= +configurations=() bpkg= while [ $# -gt 0 ]; do @@ -107,6 +114,11 @@ while [ $# -gt 0 ]; do shift quiet=true ;; + --config) + shift + configurations+=("$1") + shift || true + ;; --bpkg) shift bpkg="$1" @@ -203,6 +215,12 @@ if [ -n "$log_dir" ]; then trap exit_trap EXIT fi +# Source the configurations. +# +for c in "${configurations[@]}"; do + source "$c" >&2 +done + # Make sure the commit file is present. # published_commit="$repo_dir.publish" |