A continuación veremos como podemos editar el menú de nuestra distribución Linux de forma fácil y sencilla usando el programa MenuLibre. SITUACIONES EN LAS QUE PUEDE SER NECESARIO EDITAR EL MENÚ Necesitaremos editar el menú de nuestra distribución Linux cuando por ejemplo se den las siguientes circunstancias: Aparecen elementos duplicados en el menú y queremos ...