Update run_dev.sh

main
Florent Daigniere 2 years ago committed by GitHub
parent ee512112fb
commit 4d8bd210c5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -87,7 +87,7 @@ EOF
# build # build
chmod -R u+rwX,go+rX . chmod -R u+rwX,go+rX .
"${docker}" build --build-arg TARGETPLATFORM=linux/amd64 --tag "${DEV_NAME}:latest" . "${docker}" build --tag "${DEV_NAME}:latest" .
# gather volumes to map into container # gather volumes to map into container
volumes=() volumes=()

Loading…
Cancel
Save