commands: do, retry, upgrade: if $CAVE unknown, use cave
This commit is contained in:
parent
f1dee5d970
commit
522f100ce2
|
@ -1,2 +1,2 @@
|
|||
#!/usr/bin/env sh
|
||||
exec ${CAVE} resume "${@}"
|
||||
exec ${CAVE:-cave} resume "${@}"
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
#!/usr/bin/env sh
|
||||
exec ${CAVE} resume --retry-failed --retry-skipped "${@}"
|
||||
exec ${CAVE:-cave} resume --retry-failed --retry-skipped "${@}"
|
||||
|
|
|
@ -1,2 +1,2 @@
|
|||
#!/usr/bin/env sh
|
||||
exec ${CAVE} resolve -c world "${@}"
|
||||
exec ${CAVE:-cave} resolve -c world "${@}"
|
||||
|
|
Loading…
Reference in a new issue