|
|
|
@ -42,11 +42,11 @@ docker build -q -t kaleidoscope/docker etc
|
|
|
|
|
# We do want word splitting since there are multiple options here
|
|
|
|
|
# shellcheck disable=SC2086
|
|
|
|
|
docker run --rm $DOCKER_RUN_INTERACTIVE_OPTS \
|
|
|
|
|
--tmpfs /kaleidoscope:exec \
|
|
|
|
|
--mount type=tmpfs,destination=/kaleidoscope:exec \
|
|
|
|
|
--mount type=bind,source="${XFER_DIR}",destination=/kaleidoscope-src,consistency=delegated,readonly \
|
|
|
|
|
--mount type=volume,source=kaleidoscope-persist,destination=/kaleidoscope-persist,consistency=delegated \
|
|
|
|
|
--mount type=volume,source=kaleidoscope-googletest-build,destination=/kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope/testing/googletest/build,consistency=delegated \
|
|
|
|
|
--mount type=volume,source=kaleidoscope-build,destination=/kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope/_build,consistency=delegated \
|
|
|
|
|
--mount type=volume,source=kaleidoscope-googletest-build,destination=/kaleidoscope/testing/googletest/build,consistency=delegated \
|
|
|
|
|
--mount type=volume,source=kaleidoscope-build,destination=/kaleidoscope/_build,consistency=delegated \
|
|
|
|
|
--env ARDUINO_DIRECTORIES_DATA=/arduino-cli/data \
|
|
|
|
|
--env ARDUINO_DIRECTORIES_USER=/kaleidoscope/.arduino/user/ \
|
|
|
|
|
kaleidoscope/docker "$*"
|
|
|
|
|