custom config file

2019-04-29 23:10:59 +02:00 · 2019-04-29 23:10:59 +02:00 · bfdbae135a
commit bfdbae135a
parent 7875bd0361
2 changed files with 11 additions and 2 deletions
--- a/7
+++ b/7
@ -21,8 +21,11 @@ RUN \

 USER $USER

-# RUN \
-#   env USER=arduino arduino-cli config init
+RUN \
+  arduino-cli config init 
+
+COPY arduino-cli.yaml ~/.arduino15/
+  

 CMD ["/bin/bash"]

--- a/arduino-cli.yaml
+++ b/arduino-cli.yaml
@ -0,0 +1,6 @@
+proxy_type: auto
+sketchbook_path: /root/Arduino
+arduino_data: /root/.arduino15
+board_manager:
+  additional_urls:
+  - http://arduino.esp8266.com/stable/package_esp8266com_index.json