Problema al subir sketch al Arduino Leonardo

Voy con soluciones tomadas de StackExchange

Comienza con una confirmación que el puerto existe. Sabemos que eso no hace falta
Luego dice:
To set read/write permissions, enter the following

sudo chmod a+rw /dev/ttyACM0

Yo he hecho algo asi pero no me lo acuerdo de memoria. Uso Linux cuando debo trabajar mucho con el IDE porque compila dramáticamente mas rapido que en Windows.

Reinstal la instalación de Arduino

sudo apt install --reinstall arduino

Cheque que averdude usas

which avrdude

Corre tu Arduino IDE despues de reinstalarlo y cierralo

Chequea la configuración de Arduino. Abre el archivo /home/tu_usuario/.arduino/preferences.txt y verifica ahi la opción serial.port. Trata de cambiarla a /dev/ttyACM0. Abre este archivo:

sudo nano /home/tu_usuario/.arduino/preferences.txt

y aceptá los cambios realizados, ejemplo, todo debería lucir asi

serial.port=/dev/ttyACM0

Restablece la computadora una vez mas.

A ver si esto sirve