@coloco ¿has considerado cambiar de distro? No es una crítica, sino todo lo contrario. Veo que mint y cinnamon tienen cosas medio raras como eso de que el menú de aplicaciones desapareció irremediablemente un día. El tema de los repositorios me dejó mareado: esto que usa parte de debian y parte de ubuntu medio mezclados con repositorios propios y hay que actualizar desde una aplicación específica porque si usás apt-get te rompe paquetes (creo que era algo así, de verdad que me mareó). Lo cierto es que quizá te sientas más a gusto en otra distro a la que le puedas poner cinnamon si es tu entorno preferido. Se me ocurre, no sé, ya que vas a reinstalar. /cc @chemaalonso @puppetmaster