blob: ce636ecf02be93e80eef873fbc3a02dc454cd0a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/usr/bin/env bash
# This script runs `Pkg.instantiate()` inside a bounded retry loop.
dir="${1:-}"
if [ -z "$dir" ]; then
echo "Usage: $0 <julia-project-dir>" >&2
exit 2
fi
if [ ! -d "$dir" ]; then
echo "Error: '$dir' is not a directory." >&2
exit 2
fi
try_count=0
while [ "$try_count" -lt 9 ]; do
julia --color=yes --project="$dir" -e 'import Pkg; Pkg.instantiate()'
if [ $? -eq 0 ]; then exit 0; fi
try_count=$((try_count + 1))
sleep 20
done
exit 1
|
