Muchísimas gracias a todos por las respuestas. Finalmente tengo que tirar la toalla en ese apartado, la filosofía detrás de Mint es esa y toca esperar al verano cuando llegue la versión 18 para tener los programas actualizados.
Mientras toca tirar de PPA.
Me podéis echar una mano con la actualización? Tengo dos dudas, voy a actualizar los programas con las actualizaciones más "bestias" a mano a través de PPA y querría tenerlas aclaradas antes de lanzarme:
(antes de nada, uso Mint 17.3, basada en Ubuntu 14.04, lo que vale para una vale para otra)
1.- De dónde sacar los PPA...para el caso de VLC (por ejemplo, pero me sirve para el resto) la gente recomienda indistintamente dos fuentes:
https://launchpad.net/~videolan/+archiv ... able-dailyhttps://launchpad.net/~mc3man/+archive/ ... usty-mediaYo creo que hay que tirarse de cabeza a la primera, que parece totalmente oficial, pero no se porqué se recomienda la otra
EDITO: veo que en el que parece oficial no está la última versión (la 2.2, la que trae las novedades que necesito). Aunque sigo con la pregunta...debería de fiarme del otro PPA? Qué cosas tengo que mirar antes de confiar a ciegas?
2.- Tengo ya los programas instalados de serie en el sistema. Valdrá con añadir a través de terminal el repositorio y luego un simple ¿apt-get install vlc? no se cómo funciona el apt-get install: si detecta la versión antigua y me instala la moderna, si instala "a lo bruto" sobrescribiendo y me puedo encontrar con sorpresas, si va a haber problemas al tenerlo ya instalado...en todas partes pone que le de a instalar directamente (sin quitar la vrsión actual ni nada) pero...miedo me da
Gracias por adelantado!