Skip to content

Conversation

@per1234
Copy link
Contributor

@per1234 per1234 commented Apr 11, 2018

The Arduino IDE requires that a sketch be located in a folder of the same name. Although the name of the repository does match the sketch name, when GitHub's popular Clone or download > Download ZIP feature is used to download a repository the branch/release/commit name is appended to the folder name, causing a mismatch.

When opening a file that does not meet this sketch/folder name matching requirement the Arduino IDE presents a dialog:

The file "Esp32_radio.ino" needs to be inside a sketch folder named "Esp32_radio".
Create this folder, move the file, and continue?

After clicking "OK" the Arduino IDE currently moves only the file Esp32_radio.ino to the new folder, leaving behind the other source files. This causes compilation of the sketch to fail:

ESP32-Radio-master\Esp32_radio\Esp32_radio.ino:475:23: fatal error: about_html.h: No such file or directory
The Arduino IDE requires that a sketch be located in a folder of the same name. Although the name of the repository does match the sketch name, when GitHub's popular Clone or download > Download ZIP feature is used to download a repository the branch/release/commit name is appended to the folder name, causing a mismatch.

When opening a file that does not meet this sketch/folder name matching requirement the Arduino IDE presents a dialog:

The file "Esp32_radio.ino" needs to be inside a sketch folder named "Esp32_radio".
Create this folder, move the file, and continue?

After clicking "OK" the Arduino IDE currently moves only the file Esp32_radio.ino to the new folder, leaving behind the other source files. This causes compilation of the sketch to fail:

ESP32-Radio-master\Esp32_radio\Esp32_radio.ino:475:23: fatal error: about_html.h: No such file or directory
@per1234
Copy link
Contributor Author

per1234 commented Apr 24, 2018

@Edzelf I've resolved the merge conflict caused by fcb176a and 035935d so this is ready for an easy merge again.

Please let me know if there's anything I need to do to get this pull request accepted.

@Edzelf Edzelf merged commit 6eedc9e into Edzelf:master Apr 24, 2018
@Edzelf
Copy link
Owner

Edzelf commented Apr 24, 2018

Done

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants