Dock de aplicaciones para Cinnamon: Cinnadock plus

A la interfaz gráfica Cinnamon se le puede añadir su propio dock de aplicaciones, a través de una extensión, por lo que no se necesita añadir otro tipo de dock de aplicaciones del tipo de Avant-Window-Navigator o Cairo-dock.
En el tema Cinnamon tiene su propio dock de aplicaciones traté sobre la extensión Cinnadock in progress, y en este tema voy a tratar sobre la extensión Cinnadock plus, que es una mejora de la anterior.

Instalación de Cinnadock plus:
Podemos instalarlo desde Configuración del Sistema->Extensiones->Obtener mas en la red, o desde ésta página: http://cinnamon-spices.linuxmint.com/extensions
Mas información sobre como instalar extensiones en Cinnamon: http://hatteras-blog.blogspot.com.es/2012/09/anadir-applets-y-extensiones-cinnamon.html
Puede ser que nada mas instalado el dock no aparezca por ninguna parte, lo cual se debe a que no sea compatible con la versión de Cinnamon que uses; para hacer que Cinnadock plus sea compatible con Cinnamon, hay que editar el archivo:
/home/usuario/.local/share/cinnamon/extensions/CinnaDockPlus@entelechy/metadata.json de forma que aparezca la versión de Cinnamon que estés usando, en este ejemplo: 2.2.13 ( las versiones anteriores las puedes conservar o borrar )

{
    "last-edited": "1395632240",
    "cinnamon-version": [
        "1.8",
        "1.9",
        "2.0",
        "2.1",
        "2.2.13"
    ],
    "url": "http://cinnamon-spices.linuxmint.com/extensions",
    "uuid": "CinnaDockPlus@entelechy",
    "name": "CinnaDock Plus",
    "description": "Revamped CinnaDock with previews and native configuration and theming, for Cinnamon 1.8+"
}

Una vez modificado y guardado dicho archivo, debemos reiniciar Cinnamon: alt+f2 y luego escribir: r o salir y volver a entrar en la sesión gráfica, para que ya aparezca el dock de aplicaciones con los iconos que trae por defecto.

Configuración de Cinnadock plus:
Desde Configuración del Sistema->Extensiones ,seleccionando la extensión podemos llegar hasta la ventana de su configuración

Añadir iconos:
Por defecto en la barra de iconos de Cinnadock plus aparecen los iconos, bien correspondientes a una aplicación que en ese momento se esta usando, o bien a las que hemos añadido de forma permanente al dock de aplicaciones ( los iconos de los programas que tengamos en el Menú de Aplicaciones como Favoritos ), pero lógicamente podemos ir añadiendo mas iconos de las aplicaciones que mas usemos.
 Por ejemplo para añadir el icono desde el que lanzar Videolan:
-- Desde el menú de aplicaciones: seleccionamos la aplicación que queremos añadir a Cinnadock plus, y hacemos click con el botón derecho del ratón, con lo que aparece la opción "añadir a favoritos", la seleccionamos y hacemos click con el botón izquierdo del ratón, con lo que se añade el icono de lanzamiento de Videolan tanto a los favoritos de la barra lateral del menú de aplicaciones, como a la barra de iconos de Cinnadock plus.
-- Desde el dock de aplicaciones Cinnadock plus: ejecutamos Videolan ( desde el menú de aplicaciones, o con alt+f2 ),con lo que aparece un nuevo icono en la barra de iconos de Cinnadock plus, y poniéndonos con el cursor sobre él aparecen varias opciones, entre las que esta "añadir a favoritos", la seleccionamos y damos a Intro, con lo que se añade el icono de lanzamiento de Videolan tanto a los favoritos de la barra lateral del menú de aplicaciones, como a la barra de iconos de Cinnadock plus

De forma similar ( con la opción "quitar de favoritos" ) se pueden quitar un icono que ya tenemos en el dock de aplicaciones, y de la barra lateral del Menú de aplicaciones.

Un ejemplo de la barra de iconos de Cinnadock plus:

Usos:
Una vez que tenemos un icono en la barra del dock, bien correspondiente a una aplicación que en ese momento se esta usando, o bien a una que hemos añadido de forma permanente al dock de aplicaciones, con el cursor del ratón, podemos hacer las siguientes cosas:
- Con el cursor de ratón sobre un icono de Cinnadock plus aparece la ventana desde la que añadir/quitar de favoritos, o ejecutar la aplicación ( con la tecla intro, o el botón izquierdo del ratón, sobre la opción "new window")
- Haciendo click con el botón derecho del ratón sobre el icono de una aplicación nos aparece una ventana de ajustes, con la que poder ajustar varias opciones.

- Haciendo click con el botón izquierdo del ratón sobre el icono de una aplicación, la ejecutamos.

Editar la dirección url de un ppa instalado en el sistema para instalar un paquete/programa

En alguna ocasión puede pasar que para instalar un programa necesitemos un ppa que una vez instalado no nos permite instalar dicho programa en nuestra versión actual de la distro, pero que sabemos que si lo hacia en una versión anterior de nuestra distro.
Una solución es cambiar la dirección url al ppa que hemos instalado en nuestra distro actual, para que apunte a la versión de la distro en la que si que nos dejaba instalar el programa.
Tras la edición debemos actualizar las fuentes de software, y luego ya deberíamos poder instalar el/los paquete/s correspondientes a ese ppa.

Este procedimiento puede ser mas o menos peligroso en función de que tipo de paquetes trate el ppa; si son paquetes para instalar algún programa que no afecta al sistema propiamente dicho no suele haber ningún problema, pero si que lo puede haber si el ppa sirve para instalar paquetes que afectan al sistema propiamente dicho.
Este método de instalar un ppa es como última opción y no siempre funciona ( si no funciona el método lo mejor es desinstalar el ppa ) , y siempre es mejor instalar ppa que estén correctamente indicados para nuestra distro, lo cual normalmente se ve en su dirección, por ello es conveniente que si usamos Mint u otra distro derivada de Ubuntu sepamos en que versión de Ubuntu se basa nuestra distro.

A lo largo de todo el tema, como ejemplo, vamos a suponer que queremos instalar un programa ( por ejemplo ffmpeg ) que necesita que añadamos un ppa que nos funcionaba en Ubuntu raring ( o en una distro que sea derivada de ésta ), pero que no lo hace en Ubuntu trusty ( o en una distro que sea derivada de ésta).
Instalaríamos el ppa con la orden:
sudo add-apt-repository 'deb http://ppa.launchpad.net/jon-severinsson/ffmpeg/ubuntu
y actualizaríamos las fuentes de software con: sudo apt-get update

Pero si a la hora de instalar el paquete ffmpeg en nuestra versión de la distro no nos deja, podemos editar la dirección url del ppa que hemos instalado.

La dirección de un ppa instalado en el sistema puede ser editada como se indica mas abajo, para cambiar el nombre de la versión de la distro, por ejemplo
desde:
deb http://ppa.launchpad.net/jon-severinsson/ffmpeg/ubuntu trusty main
dirección del ppa con nuestra distro ubuntu trusty
hasta
deb http://ppa.launchpad.net/jon-severinsson/ffmpeg/ubuntu raring main
dirección que si nos permitía instalar paquetes que funcionaba en la distro ubuntu raring.
Y luego volvemos a usar el comando sudo apt-get update para actualizar las fuentes de software, e instalamos el paquete con la orden sudo apt-get install ffmpeg, o desde Synaptic.

Una vez que hemos conseguido instalar un programa con este ppa "editado" es conveniente, como siempre aconsejo cuando instalo un programa a partir de un ppa añadido en vez de con las fuentes de sofware que vienen por defecto, que lo deshabilitemos para que no interfiera en las actualizaciones del sistema.

Desde Origenes del software: software-sources. 
Esta es la herramienta de Mint Cinnamon que por defecto nos sirve para instalar, editar y desinstalar ppas.

Abriendo el botón Editar URL podemos editar la url del ppa como se indica mas arriba.

Siempre que modifiquemos de alguna forma las fuentes de software, tanto si añadimos, editamos, o eliminamos ppas, debemos actualizar los orígenes de software, haciendo click en el botón correspondiente.

Desde Y-PPA-Manager:
De la misma forma que podemos usar este programa para instalar ppa ( administración de repositorios ) ,también podemos usarlo para editar la url de un ppa

En la siguiente ventana aparecen listados los ppa que estén  instalados y activados, y podemos editarlos ( con el botón Edit source ); si un ppa lo hemos desactivado desde Orígenes de Software no nos aparecerá en la lista de ppas en Y-ppa-manager.

Desde la terminal:

-- Con el comando sudo gedit /etc/apt/sources.list abrimos dicho archivo de texto, en él por cada ppa hay una línea que se corresponde con su dirección url, y podemos editarla. En este archivo están los ppa que en Software-sources aparecen en Repositorios Adicionales.

-- Los ppa que hay en Software-sources en el apartado PPAS, están en el directorio /etc/apt/sources.list.d/  y son mas fáciles de editar desde el administrador de archivos.

Desde el administrador de archivos:
Ejecutando el administrador de archivos con permisos de root:
- Ver el contenido del archivo de texto /etc/apt/sources.list : en él hay un ppa en cada línea del archivo, y podemos editar dicha línea para el ppa que queramos.
- Ver en el administrador de archivos el contenido del directorio /etc/apt/sources.list.d/: en él hay varios archivos .list ( y .list.save que son copias de seguridad de los anteriores ), uno por cada ppa que hayamos instalado; abrimos el archivo correspondiente al ppa que queramos editar su dirección url, por ejemplo el archivo jon-severinsson-ffmpeg-trusty.list y editamos las lineas que hay en él como se indica en el inicio de este tema.

Una vez que hemos editado los ppa que queramos, actualizamos la fuente de software con la orden: sudo apt-get update  y ya podríamos instalar el paquete o programa para el que hemos instalado y editado el ppa. 

Desinstalar un ppa

En este tema se trata sobre varios métodos para desinstalar de nuestro sistema un Repositorio Personal de Paquetes ( Personal Packages Archives, PPA ), varios de esos métodos sirven tanto para Mint como para Ubuntu, y uno de ellos solo sirve para Mint ( ya que usan una herramienta propia de esta distro ).
Con alguno de los métodos podemos no solo desinstalar un ppa sino que también podemos desactivarlo momentáneamente pero que permanezca instalado de forma que podemos mas tarde volver a activarlo si fuera necesario.

Los ppa se guardan en:
- el archivo /etc/apt/sources.list : en este archivo solo se guardan algunos ppa , ya que éste era el lugar que se usaba en versiones anteriores para guardar todos los ppa, y se siguen guardando en él algunos ppa, pero ahora la cosa ha cambiado y la mayoría de ppa se guardan en el directorio siguiente.
- el directorio /etc/apt/sources.list.d/: en él hay varios archivos .list ( y .list.save que son copias de seguridad de los anteriores ), uno por cada ppa que hayamos instalado.

Desde el administrador de archivos:
Ejecutándolo con permisos de administrador:

- Ver el contenido del archivo /etc/apt/sources.list : en él hay un ppa en cada línea del archivo, borrándola eliminamos el ppa ( o poniendo delante un símbolo # no eliminamos el ppa sino que lo desactivamos, y mas adelante podemos volver a activarlo quitando el simbolo # )
En este archivo solo se guardan algunos ppa , ya que éste era el lugar que se usaba en versiones anteriores para guardar todos los ppa, y se siguen guardando en él algunos ppa, pero ahora la cosa ha cambiado para la mayoría de ppa que ahora se guardan en el directorio que se indica a continuación 
- Ver el contenido del directorio /etc/apt/sources.list.d/: en él hay varios archivos .list ( y .list.save que son copias de seguridad de los anteriores ), uno por cada ppa que hayamos instalado; borramos los archivos .list y .list.save correspondientes al ppa que queramos eliminar.

Una vez que hemos desinstalado los ppa que queramos, actualizamos la fuente de software desde la terminal con la orden: sudo apt-get update .


Desde Orígenes del software: software-sources.
Esta es la herramienta de Mint Cinnamon que por defecto nos sirve para instalar, editar desactivar/activar y desinstalar ppas.
No solo podemos desintalarlos completamente, y no aparecerán en la lista, sino que también podemos desactivarlos, con lo que seguirán en la lista, pero no estarán con el símbolo v de activados.
En la pestaña PPAs aparecen los ppa del directorio /etc/apt/sources.list.d/ , es decir la mayoría de ppa.
En la pestaña Repositorios Adicionales aparecen los ppa del archivo /etc/apt/sources.list , es decir los ppa que se siguen guardando como se hacia en versiones anteriores.

Siempre que modifiquemos de alguna forma las fuentes de software, tanto si añadimos, editamos, o eliminamos ppas, debemos actualizar los orígenes de software, haciendo click en el botón correspondiente, lo cual es equivalente a ejecutar en la terminal el comando sudo apt-get update
 
Desde Y-PPA-Manager:
De la misma forma que podemos usar este programa para instalar ppa ( administración de repositorios ) ,también podemos usarlo para desinstalar ppa

En la siguiente ventana aparecen listados los ppa que estén  instalados y activados, y podemos eliminarlos; si un ppa lo hemos desactivado desde Origenes de Software no nos aparecerá en la lista de ppas en Y-ppa-manager.

Desde la terminal:
Primero instalamos el paquete ppa-purge , que viene por defecto en Synaptic. Lo instalamos y ya podemos desinstalar repositorios ppa con una línea de comandos con la sintaxis siguiente:
sudo ppa-purge ppa:nombre_del_repositorio

Antes de empezar a usar ppa-purge debemos resolver una pregunta. ¿Como listamos todos los repositorios ppa que hemos ido agregando ? : Desde terminal con el comando:
grep -i ppa.launchpad.net /etc/apt/sources.list.d/*.list > listappa.txt
De esta forma se crea, en la carpeta de usuario, un fichero de texto, listappa.tx, con la lista completa de repositorios ppa instalados.

Una vez que hemos desinstalado los ppa que queramos, actualizamos la fuente de software con la orden: sudo apt-get update .