diff options
author | Erich Eckner <git@eckner.net> | 2020-01-30 11:39:46 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-30 11:39:46 +0100 |
commit | e871b73b7c0119db5bcc184842e0c309109168cf (patch) | |
tree | bcd33c530e4a1dd53aa5ef859d045c61acec3da6 | |
parent | fc6fc35b2586d0bc1d4c126b6c1a28aa66965be3 (diff) | |
download | builder-e871b73b7c0119db5bcc184842e0c309109168cf.tar.xz |
lib/intentions-queue: execute_all_intentions() new
-rwxr-xr-x | lib/intentions-queue | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/intentions-queue b/lib/intentions-queue index 5d9e977..f7c9a4f 100755 --- a/lib/intentions-queue +++ b/lib/intentions-queue @@ -101,3 +101,11 @@ intentions_left() { | sort -n \ | grep -qxm1 '[0-9]\+' } + +# execute_all_intentions +# executes all intentions +execute_all_intentions() { + while intentions_left; do + execute_intention + done +} |