mirror of
https://gitee.com/Lyon1998/pikapython.git
synced 2025-01-29 17:22:56 +08:00
8 lines
140 B
Bash
8 lines
140 B
Bash
DOCKER_NAME=pikadev
|
|
|
|
docker rm $DOCKER_NAME -f
|
|
docker run -it --name $DOCKER_NAME \
|
|
-w /usr/src/pikascript/port/linux \
|
|
$DOCKER_NAME \
|
|
bash
|