最近遭遇したもう一つのピン留めの問題についてアドバイスをいただきたいです。man apt_preferences
何度か試しましたが、自分のやり方に間違いは見つかりません。
Linux Mint Debian Edition (LMDE) でカーネル パニックが発生したため、Debian Wheezy のパッケージを使用して、問題を解決できる新しいカーネルを取得することにしました。
私はピン留めを試してみることにしました。計画は、wheezy の deb ソースを追加し、非常に低い優先度でピン留めして、明示的に要求された場合にのみ Wheezy パッケージがインストールされるようにすることでした。次に、Wheezy からカーネル イメージをインストールします。
このソースを追加しました:
deb http://ftp.uninett.no/pub/linux/debian wheezy main contrib non-free
そしてこのピン:
Explanation: Disable Wheezy
Package: *
Pin: origin "ftp.uninett.no"
Pin-Priority: 1
しかし、うまくいきませんでした。次のような他のアプローチをいくつか試しました。
Explanation: Disable Wheezy
Package: *
Pin: release o=Debian,n=wheezy
Pin-Priority: 1
あるいは
Explanation: Disable Wheezy
Package: *
Pin: release n=wheezy
Pin-Priority: 1
どのような場合でも、また優先度がマイナスであっても、Wheezy パッケージの優先度は LMDE と同じ (500) であり、Wheezy パッケージの方が新しいため LMDE よりも優先されました。
これまで私が見逃したものは何かありますか?
追記:パニック問題に興味のある方は、全文をお読みください。ここ
答え1
何が問題だったのか分かったと思います。
デフォルトの設定ファイルは次のようになります。
Package: *
Pin: release o=linuxmint
Pin-Priority: 700
Package: *
Pin: origin packages.linuxmint.com
Pin-Priority: 700
Package: *
Pin: release o=Debian
Pin-Priority: 500
ピン「release o=linuxmint」は一致しないようです。実際、これを「origin debian.lth.se」(debian.lth.se は私が使用している LMDE ミラー) に変更したところ、すべての優先順位が期待どおりに機能しました。
これは LMDE のバグのようです。できるだけ早く報告します。