pikapython/docker/build.sh
2022-06-21 14:58:49 +08:00

15 lines
180 B
Bash

#!/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