From c9186ea7f83f65b67e517fd97599d63f54fe03d0 Mon Sep 17 00:00:00 2001
From: Ted Timmons <ted@perljam.net>
Date: Mon, 16 Oct 2017 00:20:09 -0700
Subject: [PATCH] add alternate location of this directory

---
 docs/arduino-ide/debian_ubuntu.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/docs/arduino-ide/debian_ubuntu.md b/docs/arduino-ide/debian_ubuntu.md
index 419d5c6c469..1c28fcf8a72 100644
--- 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```