I am trying to install the Teesnyduino plugin for the Arduino IDE but I am unable since the installer fails to find the /lib/version.txt file. I am using the Arduino IDE 1.8.8 and the Teensyduino 1.4.5 installer, so it should work.
I assume that this is because when I installed the Arduino IDE I installed it from ~/Downloads, so I tried running it from /usr/share but the Teensyduino installer is still unable to find the version.txt file. I do not know where the installer is looking for this version.txt file, so I didn't bother trying any other options.
Any help would be appreciated, and also if this is indeed the problem it would be useful to include this in the download instructions?
I assume that this is because when I installed the Arduino IDE I installed it from ~/Downloads, so I tried running it from /usr/share but the Teensyduino installer is still unable to find the version.txt file. I do not know where the installer is looking for this version.txt file, so I didn't bother trying any other options.
Any help would be appreciated, and also if this is indeed the problem it would be useful to include this in the download instructions?