Show More
@@ -0,0 +1,32 b'' | |||||
|
1 | #!/bin/bash | |||
|
2 | # | |||
|
3 | # wait up to TIMEOUT seconds until a WAIT_ON_FILE is created. | |||
|
4 | # | |||
|
5 | # In addition, this script can create CREATE_FILE once it is ready to wait. | |||
|
6 | ||||
|
7 | if [ $# -lt 2 ] || [ $# -gt 3 ]; then | |||
|
8 | echo $# | |||
|
9 | echo "USAGE: $0 TIMEOUT WAIT_ON_FILE [CREATE_FILE]" | |||
|
10 | fi | |||
|
11 | ||||
|
12 | timer="$1" | |||
|
13 | wait_on="$2" | |||
|
14 | create="" | |||
|
15 | if [ $# -eq 3 ]; then | |||
|
16 | create="$3" | |||
|
17 | fi | |||
|
18 | ||||
|
19 | if [ -n "$create" ]; | |||
|
20 | then | |||
|
21 | touch "$create" | |||
|
22 | create="" | |||
|
23 | fi | |||
|
24 | while [ "$timer" -gt 0 ] && [ ! -f "$wait_on" ]; | |||
|
25 | do | |||
|
26 | timer=$(( timer - 1)) | |||
|
27 | sleep 0.01 | |||
|
28 | done | |||
|
29 | if [ "$timer" -le 0 ]; then | |||
|
30 | echo "file not created after $1 seconds: $wait_on" >&2 | |||
|
31 | exit 1 | |||
|
32 | fi |
General Comments 0
You need to be logged in to leave comments.
Login now