Per Tillisch

Closing as fixed by https://github.com/arduino/arduino-cli/pull/2116 The other issue of official builds of the tool dependencies not being available for this host type remains, but that should be tracked in the...

@oobed258 I'm not sure which version or variant of Arduino IDE you are using, but Arduino IDE 2.x does not have the preference as you claim:  It is possible...

> I did not. When I received my board, I started to use it on my personal mac, and as everything was working, I never installed additional software. @kittaakos **teensy-discovery**...

Since we didn't receive any additional reports or the additional information needed to investigate, I'll close this issue. If anyone is experiencing this problem with the latest version of Arduino...

@roseanne09 that is off topic here. Please post about it on the Arduino Forum. I'll help you to install the library over there: https://forum.arduino.cc/

Closing as superseded by https://github.com/arduino/setup-arduino-cli/pull/54

> such an approach is possible as this overload of the begin method does exist. You make a good point: https://github.com/arduino-libraries/ArduinoIoTCloud/blob/d436b80f099be3bbc9132248aae24c3042836446/src/ArduinoIoTCloudTCP.h#L87 > What am I missing? Although feedback regarding the...

When two libraries are found that contain a file matching the `#include` directive, the Arduino IDE gives preference to the one with a folder name matching the file name. So...

In the discussion on the Arduino Forum: http://forum.arduino.cc/index.php?topic=590873 we determined this is a duplicate of https://github.com/pbecchi/ESP32_ping/issues/8 The problem occurs with Arduino core for the ESP32 1.0.1. The problem does not...

>What's in the .zip file. It appears to duplicate the contents of latest? The compressed file used for Boards Manager installation must have the package files in the root of...