diff options
| author | Erich Eckner <git@eckner.net> | 2021-03-18 13:50:06 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-03-18 13:50:06 +0100 |
| commit | a10c10a9cd1d620ae003b66be6be2aac4bed3e85 (patch) | |
| tree | 046f097659318d99c7968176b02228c91ba9341d /lib/intentions-queue | |
| parent | df71310ba38ea366f252d36bae95a5c8440ce4a7 (diff) | |
| download | builder-a10c10a9cd1d620ae003b66be6be2aac4bed3e85.tar.xz | |
lib/intentions-queue: more cleanup
Diffstat (limited to 'lib/intentions-queue')
| -rwxr-xr-x | lib/intentions-queue | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/intentions-queue b/lib/intentions-queue index cd83fec..c0d88a8 100755 --- a/lib/intentions-queue +++ b/lib/intentions-queue @@ -85,12 +85,7 @@ intentions_left() { -type f \ -name 'intention.*' \ -printf '%f\n' \ - | sed ' - s/^intention\.// - t - d - ' \ - | grep -qxm1 '[0-9]\+' + | grep -qxm1 'intention\.[0-9]\+' } # execute_all_intentions |