Linux Mint Archives

Comprobar si un paquete dispone de soporte de seguridad en Linux 5

Feb

4

2018

A medida que las versiones de Debian, Ubuntu y Linux Mint se van haciendo viejas existen paquetes que dejan de tener soporte de seguridad. Algunas de las razones por las que esto pasa son las siguientes: En la rama LTS de Debian es posible que algunos de los paquetes dejen de tener soporte. Hay que ...

Reiniciar el entorno de escritorio sin reiniciar el ordenador en Linux 13

Ene

14

2018

Existen ocasiones en que es necesario reiniciar el entorno de escritorio. Algunas de ellas son las siguientes: Para que ciertas configuraciones que acabamos de realizar se apliquen. Alguna parte del entorno gráfico no funciona o deja de responder. En el momento que instalamos una extensión de Gnome Shell. Etc. Obviamente una solución para reiniciar el ...

Editar el menú de nuestro escritorio Linux con MenuLibre 2

Ene

4

2018

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

Instalar fuentes tipográficas en Debian y en GNU Linux 11

Ago

24

2016

En el siguiente artículo veremos la totalidad de pasos a seguir para buscar e instalar fuentes tipográficas en Linux y particularmente en Debian. Además veremos los motivos por los cuales es útil saber como podemos instalar fuentes adicionales en nuestro sistema operativo. SITIOS O MÉTODOS PARA PODER ENCONTRAR FUENTES ADICIONALES Algunos de los métodos o ...

geekland

Comprobar si un paquete dispone de soporte de seguridad en Linux 5

Reiniciar el entorno de escritorio sin reiniciar el ordenador en Linux 13

Editar el menú de nuestro escritorio Linux con MenuLibre 2

Instalar fuentes tipográficas en Debian y en GNU Linux 11