mirror of
https://gitee.com/gitea/gitea.git
synced 2024-12-04 04:37:58 +08:00
Add the set -e option to dockerfiles/build.sh
This commit is contained in:
parent
5ed5912ef5
commit
cf3021ecca
@ -10,6 +10,9 @@ HOST_PORT="YOUR_HOST_PORT" # The port on host, which will be redirected t
|
|||||||
# apt source, you can select 'nchc'(mirror in Taiwan) or 'aliyun'(best for mainlance China users) according to your network, if you could connect to the official unbunt mirror in a fast speed, just leave it to "".
|
# apt source, you can select 'nchc'(mirror in Taiwan) or 'aliyun'(best for mainlance China users) according to your network, if you could connect to the official unbunt mirror in a fast speed, just leave it to "".
|
||||||
APT_SOURCE=""
|
APT_SOURCE=""
|
||||||
|
|
||||||
|
# fail immediately if anything goes wrong
|
||||||
|
set -e
|
||||||
|
|
||||||
DOCKER_BIN=$(which docker.io || which docker)
|
DOCKER_BIN=$(which docker.io || which docker)
|
||||||
if [ -z "$DOCKER_BIN" ] ; then
|
if [ -z "$DOCKER_BIN" ] ; then
|
||||||
echo "Please install docker. You can install docker by running \"wget -qO- https://get.docker.io/ | sh\"."
|
echo "Please install docker. You can install docker by running \"wget -qO- https://get.docker.io/ | sh\"."
|
||||||
|
Loading…
Reference in New Issue
Block a user