Convertir extensiones de Gnome-Shell en extensiones para Cinnamon
Dentro de cualquier carpeta correspondiente a una extensión de Gnome Shell, podemos encontrar un fichero llamado metadata.json el cual debe tener algo como esto:
{
"uuid": "[email protected]",
"name": "AlternateTab",
"description": "A replacement for Alt-Tab, allows to cycle between windows and does not group by application",
"original-authors": [ "[email protected]", "[email protected]" ],
"shell-version": [ "3.2.0", "3.2" ],
"localedir": "/usr/share/locale",
"url": "http://git.gnome.org/gnome-shell-extensions"
}
A nosotros nos interesa solamente esta línea:
"shell-version": [ "3.2.0", "3.2" ],
Ya que para hacer compatible la extensión con Cinnamon, debemos sustituirla por esta:
"cinnamon-version": [ "1.3", "1.4" ],
Y eso es todo. Solo basta reiniciar Cinnamon y ya podremos usar la extensión en cuestión. No garantizo que funcione con todas.