@Andreas-Sassermann said in ArduinoIDE on Linux not working with arduino-dock2:

The current selected board needs the core 'arduino:arduino' that is not installed

you could try looking at Tools -> Board -> Board Manager and check if you need to install
the driver for: Arduino AVR Boards.