pikapython/docker/build.sh

mirror of https://gitee.com/Lyon1998/pikapython.git synced 2025-01-15 17:02:53 +08:00
#!/bin/bash
DOCKER_NAME=pikadev

docker rmi $DOCKER_NAME

if [ $# == 0 ]
then
    docker build -t $DOCKER_NAME . 
fi

if [ $# == 1 ]
then
    docker build $1 -t $DOCKER_NAME . 
fi
improve build.sh 2022-06-21 14:58:49 +08:00			`#!/bin/bash`
add docker 2022-04-21 14:17:14 +08:00			`DOCKER_NAME=pikadev`

			`docker rmi $DOCKER_NAME`

improve build.sh 2022-06-21 14:58:49 +08:00			`if [ $# == 0 ]`
			`then`
			`docker build -t $DOCKER_NAME .`
			`fi`

			`if [ $# == 1 ]`
			`then`
			`docker build $1 -t $DOCKER_NAME .`
			`fi`