Linux Mint 20 に移行したところ「Timer with notifications」というアプレットが動かなくなってしまいました。
エラーメッセージはこんな感じです。
[cinnamon-timer@jake1164]: Extension is not compatible with current Cinnamon version
なんか、単純にこのアプレットがサポートしているバージョン番号がミスマッチしているのではないかと思いました。（野生の勘、というヤツ）
ちなみに、Linux Mint 20 には Cinnamon 4.6.6 が組み込まれています。Timer with notifications のバージョンは 1.2.0 です。
というわけで、~/.local/share/cinnamon/applets/cinnamon-timer@jake1164 というディレクトリーをのぞいてみると metadata.json というファイルがあり、これがビンゴでした。
cinnamon-version という項目にサポートしている Cinnamon のバージョン番号が列挙されており、初期状態では 4.4 まででした。
ここに自分で 4.6 を付け足して、Cinnamon を再起動させると以前のように Timer with notifications が動きだしました。
{
"uuid": "cinnamon-timer@jake1164",
"version": "1.2.0.1",
"name": "Timer with notifications",
"description": "A timer app with visual and auditory notifications.",
"website": "https://cinnamon-spices.linuxmint.com/applets/view/302",
"multiversion": true,
"cinnamon-version": [
"2.6",
"2.8",
"3.0",
"3.2",
"3.4",
"3.6",
"3.8",
"4.0",
"4.2",
"4.4",
"4.6"
],
"last-edited": 1576784346
}
ちなみに Timer with notifications は「艦これ」の遠征から帰ってくる時間や入渠が終わる時間、あとは出撃後の体力回復時間を測るのに使っています。