それで、Cinnamon 2.0がリリースされ、人々がアップグレードするために提示した手順に従いました。
sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable
sudo apt-get update
sudo apt-get dist-upgrade
しかし、これはうまくいきません。すでに最新バージョンを使用していると思います。別のDEでこれを試してみましたが、それも機能しません。 aptにアーカイブされたパッケージがないようですが、問題になりません。
Cinnamonをアンインストールして再インストールする必要がありますか？私が逃したものはありますか？
ありがとうございます。
ベストアンサー1
私は追加してこの問題を解決しました。
Package: *
Pin: release o=LP-PPA-gwendal-lebihan-dev-cinnamon-stable
Pin-Priority: 800
etc/apt/の「Preferences」というファイルに追加（他のものよりも高い値で800増加）
また、実行するにはマフィンとニーモ（該当するPPAで）をインストールする必要がありました。
しかし、 - 今マフィンが起動しない他の問題があります。