Thingproperties.h no such file or directory

Hi @vittoscar79. Although you will often find Arduino sketches that consist of only a single .ino file, it is possible for them to contain multiple files.

That is the case with the "Thing" sketches generated by Arduino IoT Cloud. You must make sure to download all the files of the sketch from Arduino Cloud. If you only have the primary .ino file, you will get an error like this.

I'll provide instructions for downloading the full sketch from Arduino Cloud:

  1. Open your "Thing" in Arduino IoT Cloud.
  2. Select the "Sketch" tab.
  3. Click the </> Open full editor button.
  4. Wait for the sketch to open in Arduino Web Editor (AKA "full editor").
  5. Click the ••• button to the right of the board selector.
  6. Select "Download Sketch" from the menu.
  7. Wait for download to finish.
  8. Unzip the downloaded file.
  9. Open the .ino file from the unzipped folder in the Arduino IDE.

Note that, to help protect your private information, the network credentials you set on Arduino IoT Cloud are not contained in the downloaded "Thing" sketch. After opening the sketch in the Arduino IDE, select the "arduino_secrets.h" and set the network credentials there.

For example:

#define SECRET_SSID "MY_SSID"
#define SECRET_PASS "correcthorsebatterystaple"
#define SECRET_DEVICE_KEY "mysecretkey"