Do a better job priming the arduino env in docker

tmp/arduino-cli-pre-rebase
Jesse Vincent 4 years ago
parent ee16e7d610
commit 41bad3d172
No known key found for this signature in database
GPG Key ID: CC228463465E40BC

@ -10,7 +10,9 @@ RUN ccache --set-config=cache_dir=/kaleidoscope-persist/ccache/cache
RUN curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | \ RUN curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | \
sh sh
RUN /bin/arduino-cli core install arduino:avr RUN ARDUINO_DIRECTORIES_DATA=/arduino-cli/data /bin/arduino-cli config init
RUN ARDUINO_DIRECTORIES_DATA=/arduino-cli/data /bin/arduino-cli update
RUN ARDUINO_DIRECTORIES_DATA=/arduino-cli/data /bin/arduino-cli core install arduino:avr
COPY docker-entrypoint.sh /usr/local/bin/entrypoint COPY docker-entrypoint.sh /usr/local/bin/entrypoint

@ -16,5 +16,5 @@ ln -s /kaleidoscope/hardware/keyboardio/virtual/libraries/Kaleidoscope \
/kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope /kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope
cd /kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope cd /kaleidoscope/hardware/keyboardio/avr/libraries/Kaleidoscope
export ARDUINO_DIRECTORIES_DATA=/arduino-cli/data
/bin/bash -c "$*" /bin/bash -c "$*"

Loading…
Cancel
Save