This commit is contained in:
parent
0274ba6bd0
commit
97405c9ad8
1 changed files with 1 additions and 0 deletions
|
|
@ -12,6 +12,7 @@ zero_euro="KUDO:0.0"
|
||||||
|
|
||||||
offline_tool() {
|
offline_tool() {
|
||||||
dune exec offline -- "$@" > /dev/null
|
dune exec offline -- "$@" > /dev/null
|
||||||
|
sleep 0.1
|
||||||
}
|
}
|
||||||
|
|
||||||
offline_tool download --output $a --url $url"/management/keys"
|
offline_tool download --output $a --url $url"/management/keys"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue