diff options
Diffstat (limited to '')
| -rwxr-xr-x | pick-task | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/pick-task b/pick-task new file mode 100755 index 0000000..0e12bbd --- /dev/null +++ b/pick-task | |||
| @@ -0,0 +1,25 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | |||
| 3 | set -eu | ||
| 4 | |||
| 5 | QUEUE_DIR="$1" | ||
| 6 | shift | ||
| 7 | |||
| 8 | mkdir -p "$QUEUE_DIR" | ||
| 9 | cd "$QUEUE_DIR" | ||
| 10 | |||
| 11 | mkdir -p candidates in-progress | ||
| 12 | |||
| 13 | while true; do | ||
| 14 | CANDIDATE="$(ls -1 candidates | rl -c 1 2>/dev/null)" | ||
| 15 | |||
| 16 | if [[ "$CANDIDATE" == "" ]]; then | ||
| 17 | break | ||
| 18 | fi | ||
| 19 | |||
| 20 | if mv -n candidates/"$CANDIDATE" in-progress/"$CANDIDATE" 2>/dev/null; then | ||
| 21 | cat in-progress/"$CANDIDATE" | ||
| 22 | printf "export TASK_ID=%q\n" "$CANDIDATE" | ||
| 23 | break | ||
| 24 | fi | ||
| 25 | done | ||
