Hola HumanOS, hoy les traigo una noticia que de seguro alegrará a más de uno, tal y como dice el titulo del articulo, gracias a los muchachos de la Dirección General de Producción (DGP) ya tenemos disponibles los repos de Linux Mint; una distro que cuenta con una gran aceptación dentro de la comunidad universitaria.

Agregamos a nuestro /etc/apt/sources.list la siguiente configuración, manteniendo los repositorios de ubuntu que ya deben tener configurados:

deb http://nexus.prod.uci.cu/repository/packages.linuxmint.com-proxy NOMBREVERSION main upstream import backport

Reemplazamos NOMBREVERSION por el nombre de la versión que estemos utilizando, para aquellos que no sepan el nombre de su versión abrimos una consola y ejecutamos

lsb_release -a

Nos mostrará una salida como la siguiente, donde Codename es nombre de la versión:

Distributor ID:    LinuxMint
Description:    Linux Mint 18.1 Serena
Release:    18.1
Codename:    serena

Actualización a 18.1

Para aquellos que tienen instalado la versión 18 y les gusta actualizarse sin tener que reinstalar como yo 😉 en el sources.list solo agregamos los repositorios de 18.1 y los de ubuntu que ya teníamos:

deb http://nexus.prod.uci.cu/repository/packages.linuxmint.com-proxy serena main upstream import backport

Luego ejecutamos en un terminal:

apt-get update
apt-get dist-upgrade

Reiniciamos la pc y listo.

Y esto es todo por hoy, espero disfruten de sus sistemas actualizados. Como siempre cualquier duda nos vemos en los comentarios.