mirror of
https://github.com/engineer-man/piston.git
synced 2025-06-08 11:16:27 +02:00
RUNTIME_SET env choice in start-dev, websockets
This commit is contained in:
parent
6d1156188c
commit
2bdd4768cd
3 changed files with 8 additions and 3 deletions
5
piston
5
piston
|
@ -58,6 +58,10 @@ case "$SUBCOMMAND" in
|
|||
|
||||
start-dev)
|
||||
build_base
|
||||
runtime_set=all
|
||||
if [[ ! -z "$1" ]]; then
|
||||
runtime_set=$1
|
||||
fi
|
||||
docker run \
|
||||
--rm \
|
||||
-p 2000:2000 \
|
||||
|
@ -65,6 +69,7 @@ case "$SUBCOMMAND" in
|
|||
--name $CONTAINER_NAME \
|
||||
-e PISTON_LOG_LEVEL=DEBUG \
|
||||
-e PISTON_FLAKE_PATH=/piston/packages \
|
||||
-e PISTON_RUNTIME_SET=$runtime_set \
|
||||
-v $PWD:/piston/packages \
|
||||
-d "$IMAGE_NAME_DEV:$IMAGE_TAG"
|
||||
;;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue