I'm trying this on Ubuntu but for some reason it's giving me this:
Checking Arduino 1.8.13:
version: "lib/version.txt" file missing
Does not match Arduino 1.8.13.
And it repeats this for all versions...
Mind you I tried a 1.8.19 install and then a 2.1 using the corresponding Teensyduino...