message: Can i just do esp32 boards install now ?
diff: @@ -17,15 +17,17 @@ install:
  - arduino --install-boards esp8266:esp8266
  - arduino --pref "compiler.warning_level=all" --save-prefs
  # install esp32
  - - pushd .
  - - mkdir -p ~/Arduino/hardware/espressif
  - - cd ~/Arduino/hardware/espressif
  - - git clone https://github.com/espressif/arduino-esp32.git esp32
  - - cd esp32
  - - git submodule update --init --recursive
  - - cd tools
  - - python2 get.py
  - - popd
  +# @todo install via boards now since it has been released?
  + - arduino --install-boards espressif:esp32
  + # - pushd .
  + # - mkdir -p ~/Arduino/hardware/espressif
  + # - cd ~/Arduino/hardware/espressif
  + # - git clone https://github.com/espressif/arduino-esp32.git esp32
  + # - cd esp32
  + # - git submodule update --init --recursive
  + # - cd tools
  + # - python2 get.py
  + # - popd
  # esp32 needs WebServer_tng for now
  # - git clone https://github.com/bbx10/WebServer_tng.git /usr/local/share/arduino/libraries/WebServer_tng
  