diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-30 11:50:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:50:21 +0100 |
| commit | 9bd51c9d12fd51c72b28d01bc104bfd03007a9f2 (patch) | |
| tree | 2e6af1ae26482de66a90e7185942e64abca0ebb5 | |
| parent | e871b73b7c0119db5bcc184842e0c309109168cf (diff) | |
| download | builder-9bd51c9d12fd51c72b28d01bc104bfd03007a9f2.tar.xz | |
lib/intentions-queue: run initialization if necessary *inside* the intentions
| -rwxr-xr-x | lib/intentions-queue | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/intentions-queue b/lib/intentions-queue index f7c9a4f..0d6c8a9 100755 --- a/lib/intentions-queue +++ b/lib/intentions-queue @@ -53,9 +53,10 @@ intent_something() { )+1 )) { + # shellcheck disable=SC2016 printf '%s\n' \ '#!/bin/sh' \ - 'set -e' + '[ -n "${base_dir}" ] || . '"${base_dir}"'/lib/load-configuration' cat printf 'rm "%s"\n' "${intentions_directory}/intention.${next_number}" } > "${intentions_directory}/intention.${next_number}" |