Tools → Board → Boards Manager option Missing

Development Tools IDE 1.x
1

Hello
I'm new in arduino. I installed arduino in raspberry, in spanish, and the option in menu don't exist.
after review in internet and don't find any solution
thanks
info:
arduino 2:1.0.5+dsg2-4
Linux raspberrypi 4.9.35-v7+ #1014 SMP Fri Jun 30 14:47:43 BST 2017 armv7l GNU/Linux

2

The problem is you used "apt install arduino" to install the Arduino IDE. That gives you a version of the Arduino IDE that is many years out of date, and possibly modified in unspecified ways. Please always download the official Arduino IDE from the "Downloads" page of this website:

For the Raspberry Pi, you should use the "Linux ARM 32 bits" download link.

3

thanks
works!!

I found other way to solve:

https://www.raspberrypi.org/forums/viewtopic.php?f=28&t=261430&p=1602673&hilit=how+to+install+arduino#p1602673

cd ~
wget https://downloads.arduino.cc/arduino-1.8.10-linuxarm.tar.xz
tar -xvf arduino-1.8.10-linuxarm.tar.xz
cd arduino-1.8.10
sudo ./install.sh

4

Why Arduino IDE 1.8.10? The latest version is 1.8.12.