Teensy 4.1 Board Manager Error

Other Hardware 3rd Party Boards
1

Am trying to add a Teensy 4.1 board to my Arduino IDE

Details of my system setup:

System: Lenovo ThinkPad T450
Memory: 8.0 GiB
Processor: Intel i5-5300U CPU @ 2.30GHz x4
Graphics: Mesa Intel HD Graphics 5500 (BDW GT2)
Disk Capacity 256.1
OS: Ubuntu 22.04.4 LTS
OS Type: 64-bit
GNOME Version: 42.9

Arduino IDE 1.8.19

Added the following to preferences per Teensy Tutorial 1: Software Setup
https://www.pjrc.com/teensy/package_teensy_index.json

Then opening Board Manager and search for Teesny
After clicking install I get the following error:

Archive Format not supported

Archive format not supported.
java.lang.RuntimeException: java.io.IOException: Archive format not supported.
at cc.arduino.contributions.packages.ui.ContributionManagerUI.lambda$onInstallPressed$2(ContributionManagerUI.java:179)
at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: java.io.IOException: Archive format not supported.
at cc.arduino.utils.ArchiveExtractor.extract(ArchiveExtractor.java:107)
at cc.arduino.utils.ArchiveExtractor.extract(ArchiveExtractor.java:82)
at cc.arduino.contributions.packages.ContributionInstaller.install(ContributionInstaller.java:158)
at cc.arduino.contributions.packages.ui.ContributionManagerUI.lambda$onInstallPressed$2(ContributionManagerUI.java:172)
... 1 more
Could not find boards.txt in /home/donald/.arduino15/packages/teensy/hardware/avr/1.59.0. Is it pre-1.5?

Any Help???

2

The Teensy installs through the board manager is only setup to work on Arduino 2.x.

For Arduino 1.8.x you need to download Teensyduino and run the setup program.

You can download the latest versions of Teensyduino from:
Teensyduino: Download and Install Teensy support into the Arduino IDE (pjrc.com)

Follow the instructions in the section: Arduino 1.8.x Software Development
on the page I linked above.

Also if you continue to have problems installing it, there are a lot more of us Teensy developers up on the PJRC forum:
Teensy Forum (pjrc.com)

Good luck
Kurt

1 Like
3

KurtE

Thanks for the quick response.

I was able to finally get Arduino 2.x installed on my Linux system

After that I was able to install the Teensy board(s).

With the install of 2.x the boards now also show up in the Arduino 1.x IDE.

Ciao

4

This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.