add alternate location of this directory (#732)

2017-10-16 11:26:59 -07:00 · 2017-10-16 11:26:59 -07:00 · 2f73dd7920
commit 2f73dd7920
parent 7216977234
1 changed files with 14 additions and 0 deletions
--- a/docs/arduino-ide/debian_ubuntu.md
+++ b/docs/arduino-ide/debian_ubuntu.md
@ -19,3 +19,17 @@ Installation instructions for Debian / Ubuntu OS
  python get.py
  ```
 - Restart Arduino IDE
+
+
+
+- If you have Arduino.app installed to /Applications/, modify the installation as follows, beginning at `mkdir -p ~/Arduino...`:
+
+```bash
+  cd /Applications/Arduino_*/Contents/java/hardware/
+  mkdir -p espressif && \
+  cd espressif && \
+  git clone https://github.com/espressif/arduino-esp32.git esp32 && \
+  cd esp32 && \
+  git submodule update --init --recursive && \
+  cd tools && \
+  python get.py```