友達 （alaintm） 彼は通常使用するXNUMXつの拡張機能を持っていました Gnomeシェル a にっき そしてそれは私にこれを達成するために行うべき小さなトリックを示しました。
の拡張子に対応するフォルダ内 Gnomeシェル、というファイルを見つけることができます メタデータ.json これは次のようなものになるはずです：
{
"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"
}
私たちはこの行にのみ興味があります：
"shell-version": [ "3.2.0", "3.2" ],
拡張機能をと互換性があるようにするため にっき、これに置き換える必要があります：
"cinnamon-version": [ "1.3", "1.4" ],
以上です。 再起動するだけ にっき 問題の拡張機能を使用できます。 それらすべてで動作することを保証するものではありませんが、少なくとも私の友人はそれらのうちのXNUMXつを移行することができました （ポモドーロとプロセッサー温度用センサー）。