If the above method does not work, you can manually download the library by following the three steps below:
Refer to the following if you are unable to connect to the TinyScreen+ from Arduino IDE or if you are getting errors while connecting or uploading.
First: Before proceeding, check your USB cable connection. Especially the micro USB connector – make sure it is inserted fully into the TinyScreen+ connector slot.
We would like to thank the O Watch team for their help in writing this TinyScreen+ setup guide. Their help and collaboration on the TinyScreen+ has been tremendously helpful to us at TinyCircuits. Thanks O Watch!