Convertir extensiones de Gnome-Shell en extensiones para Cinnamon

Un amigo (alaintm) acaba de portar dos extensiones que normalmente él usa en Gnome Shell a Cinnamon y me ha mostrado el pequeño truco que hay que hacer para lograr esto.

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": "alternate-tab@gnome-shell-extensions.gnome.org",
"name": "AlternateTab",
"description": "A replacement for Alt-Tab, allows to cycle between windows and does not group by application",
"original-authors": [  "jw@bargsten.org", "thomas.bouffon@gmail.com" ],
"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, pero por lo menos mi amigo logró migrar dos de ellas (Pomodoro y un censor para la temperatura del Procesador).