PPAの削除:「add-apt-repository --remove」と「rm /etc/apt/sources.list.d/???.list」


14

よるとどのようにのPPAを除去することができますか?PPAを取り除くには、主に3つの方法があります。

  • 次のadd-apt-repositoryコマンドを使用します。

    sudo add-apt-repository --remove ppa:???/???
    
  • .listファイルを手動で削除します。

    sudo rm /etc/apt/sources.list.d/????.list
    
  • たとえばppa-purge... などの追加ツールを使用します(この質問のトピックではありません)

最初のオプションと2番目のオプションの違いは何ですか、つまりadd-apt-repository --remove.listファイルを削除するだけでなく、それ以上のことがあるのでしょうか。

私が考えることができる1つの例は、PPAと共にインストールされたGPGキーです。ウィルadd-apt-repository扱うだけとは対照的にそれらを削除rm-ing .listファイルを?

GPGキーの削除も使用もppa-purgeこの質問のトピックではないことに注意してください!


申し訳ありませんが、3つ目のポイントは見つかりませんでした。これはあなたを助けるかもしれません:「ppa-purge」と「add-apt-repository -r」の違いは?add-apt-repositoryそれらも削除する必要があります。
ロン

いいえ、これは別の質問です。
Pilot6

次からキーを削除できます/etc/apt/trusted.gpg.d/
Pilot6


@ Pilot6重複はありません。私の主な質問はファイルの違いadd-apt-repositoryと手動での.listファイルの削除だからです。GPGキーは、私の頭に浮かんだ一例にすぎません。、違いん。それをより明確にするために今すぐ編集...-しかし、少なくとも関連があるので、リンクはそのままにしておきます。
バイトコマンダー

回答:


25

どちらのコマンドもPPAを削除しますが、基本的な違いが1つあります。

sudo add-apt-repository --remove ppa:???/???

このコマンドは、.listファイルのコンテンツのみを削除します。ファイル自体は削除されません。

sudo rm /etc/apt/sources.list.d/????.list

このコマンドを実行すると、PPAファイルが完全に削除されます。

しかし、私の意見では、使用する方が良い:

sudo rm /etc/apt/sources.list.d/????.list*

通常、最後のコマンドには末尾のアスタリスク(*)を使用します/etc/apt/sources.list.d/。これは、リポジトリを追加するたびにの下に2つのファイルが作成されるためです。1つ目は.listファイルで、2つ目はその拡張子の拡張子を持つバックアップです.list.save

コマンド sudo apt-key del ????sudo rm /etc/apt/trusted.gpg.d/file.gpg。下に作成された2つのファイルにキーを追加するとき /etc/apt/trusted.gpg.d/ file.gpg、およびfile.gpg~コマンドを実行するとき

sudo apt-key del ????

1つのファイルfile.gpgが削除され、2番目のファイルが残りますfile.gpg~ます。しかし、私の意見では、使用する方が良い:

sudo rm /etc/apt/trusted.gpg.d/file.gpg*

無害なバックアップを削除したいのはなぜですか?
ムル

@muru !! それは私が一般にそのリポジトリを使用したくないときにそれを行う私の意見です。システムに保持することが有用であると考えるなら、それは要件に依存します、そして、彼らはそれを保持できます。私が30レポPPAを追加した場合、そこに60ファイルが作成されると仮定しましょう。次回レポジトリを追加または削除する場合は、ファイルを検索して変更するためにさらに努力する必要があります。または、将来使用できると思われる場合は、ファイル内のリポジトリエントリにコメントを付けるか、そのファイルのコンテンツをどこかにコピーすることもできます。とにかく、要件に依存します。
pl_rock

マジ?Oo 60個のファイルをgrepするのに時間と労力が必要ですか?Oo
muru

時間がない、私はそのファイルの名前を覚えやすい名前に変更するのを忘れてから、どのファイルがどのエントリを持っているかを時間を費やしました。webupd8のようなファイル使用名のように。
pl_rock

また、バージョン13、14では、以前のubuntuバージョンである可能性があります。gpgキーが40を超えると、新しいキーを追加するためにキーを削除する必要がある場合に問題が発生するバグがあります。 bugs.launchpad.net/ubuntu/+source/apt/+bug/1263540
pl_rock

1

いいえ、apt-add-repositoryはGPGキーを処理しないため、キーも削除する場合は、rm /etc/apt/sources.list.d/???.listを使用してから/からGPGキーを使用しますetc / apt / trusted.gpg.d /


キーはこれらのリストには保存されません。
Pilot6

そんなこと知ってる。@ Pilot6
デビッド

そして、なぜこれを投稿するのですか?
パイロット6
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.