add do_management.sh
This commit is contained in:
parent
46a82fc998
commit
6aba22aa41
1 changed files with 5 additions and 0 deletions
5
tools/do_management.sh
Executable file
5
tools/do_management.sh
Executable file
|
|
@ -0,0 +1,5 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
dune exec offline -- download && \
|
||||||
|
dune exec offline -- sign && \
|
||||||
|
dune exec offline -- upload
|
||||||
Loading…
Add table
Add a link
Reference in a new issue