index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | df71310ba38ea366f252d36bae95a5c8440ce4a7 (diff) |
-rwxr-xr-x | lib/intentions-queue | 7 |
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 |