2022-04-30 21:13:42 +08:00

9 lines
173 B
Bash

DOCKER_NAME=pikadev
docker rm $DOCKER_NAME -f
docker run -it --name $DOCKER_NAME \
-v $PWD/..:/usr/src/pikascript \
-w /usr/src/pikascript/port/linux \
$DOCKER_NAME \
bash