instalación del programador

La versión que viene por defecto en ubuntu es muy antigua y no tiene al leonardo.
Por suerte está hecho en java y basta con descargarlo y ejecutar el fichero arduino que es un script escrito para /bin/sh y no tiene ninguna complicación.

La versión 1.0.5 funciona.
Me llevó un tiempo descubrir que los menús están ocultos en la parte superior de color gris oscuro (no se ven las letras porque deben haberlas configurado del mismo color) encima de la verde que contiene los iconos.
Para seleccionar el leonardo:

• Herramientas -> Tarjetas -> Arduino Leonardo.
• Herramientas -> Puerto Serial -> /dev/ttyACM1 (es necesario que esté conectado)