IDE down load version 1.8.12 Linux no boards manager

I down loaded the latest version from https://Arduino.cc today 13, February, 2020/ it was for a Raspberry Pi Version 4 with an Arm 64 bit processor. There was no no boards manager under Tools-boards. I need to add a MKR 1000 board, which was not on the list of boards.

Which download link on the Software page did you use: "Linux ARM 32 bits" or "Linux ARM 64 bits"?

I down loaded Linux ARM 64 bits.

If I remember correctly, I think you're still supposed to use the Linux ARM 32 bits version even with the Raspberry Pi 4. Give that a try.

I'll give that a shot.

I tried ARM 32 bit and got with that I got the 1.8.12 version. I kept getting 1.9.20 when I selected the ARM 64 version. The 1.9.20 version did not have the boards manager. the 1.8.12 version had the boards manager and all the usual good stuff.

As a further note I just downloaded version 1.8.12 on my Windows 10 machine. I used Windows Installer, for Windows XP and up at the top of the right hand pane on the download page. if you go to the Windows store page it just tells you already have the Arduino IDE and won't do an upgrade from there.

urlonz14:
I kept getting 1.9.20 when I selected the ARM 64 version.

Interesting. I don't own a 64 bit ARM system, so I've never used that version of the Arduino IDE. The beta version of the Arduino IDE is versioned as 1.9.0-beta, but it has Library and Boards Manager. I haven't heard of this 1.9.20 version before.

urlonz14:
The 1.9.20 version did not have the boards manager.

At least with the Linux ARM 32 bits version of Arduino IDE 1.8.11, Library and Boards Manager didn't work:

I couldn't check whether the same problem occurred with the Linux ARM 64 bits version of the Arduino IDE. In the Arduino IDE 1.8.12 release, they reverted to using the Oracle JRE instead of OpenJDK to fix this bug, and other bugs, but they couldn't do that for the Linux ARM 64 bit version. I guess it's possible that they just disabled Library and Boards Manager in the Linux ARM 64 bit version, since they didn't work anyway. I don't see anything about that in the commit history though.

urlonz14:
the 1.8.12 version had the boards manager and all the usual good stuff.

I'm glad to hear that!

urlonz14:
if you go to the Windows store page it just tells you already have the Arduino IDE and won't do an upgrade from there.

I don't know what the situation is with the Microsoft store releases. They never did a Microsoft Store release for Arduino IDE 1.8.10. They actually did two releases for 1.8.11. Maybe they just haven't had the time to do the 1.8.12 Microsoft Store release yet. Fortunately, we can use the standard Windows versions of the Arduino IDE, so we have an alternative.