@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.