
あなたはLinuxMintユーザーですか? システムでPPAを編集する方法を理解する必要がありますが、どうすればよいかわかりませんか? お手伝いします! Linux MintでPPAを編集する方法については、このガイドに従ってください。
目次
Linux MintでPPAを編集– GUI
Linux Mintユーザーの場合、端末を扱うことの大ファンではない可能性があります。 ありがたいことに、GUIを使用してLinuxMintでPPAを編集することができます。 これがその方法です。
まず、キーボードのWinキーを押して、Cinnamon、Mate、または使用しているLinuxMintデスクトップで検索ウィンドウを開きます。 そこから、「ソフトウェアソース」と入力します。
検索結果にアプリが見つからない場合は、Alt + F2を押してクイック起動メニューを開きます。 その後、pkexec mintsourcesコマンドを入力し、Enterキーを押して開きます。
LinuxMintのSoftwareSourcesアプリに入ると、いくつかの異なる選択肢が表示されます。 「公式リポジトリ」、「PPA」、「追加リポジトリ」、「認証キー」、「メンテナンス」があります。
編集(別名、有効化、無効化、または新しいソフトウェアソースの追加)するには、「PPA」セクションを見つけてクリックします。 この領域は、Mintに追加するすべてのサードパーティソフトウェアリポジトリを処理します。
新しいPPAを追加するには、「追加」ボタンをクリックして追加します。 1つを削除するには、[削除]をクリックし、既存のリポジトリを編集するには、[編集]ボタンをクリックします。
Linux Mintでソフトウェアソースの編集が終了したら、アプリを閉じます。
Linux MintでPPAを編集–ターミナル
Linux Mintでソフトウェアソースリストを編集するもう1つの方法は、ターミナルを介して/etc/apt/sources.list.d/フォルダーを開くことです。 この分野では、LinuxMintはすべてのソフトウェアソースを保持しています。 システムに追加する各PPAは、このフォルダーにファイルを取得します。
編集プロセスを開始するには、LinuxMintデスクトップでターミナルウィンドウを開く必要があります。 キーボードのCtrl + Alt + Tを押すか、アプリメニューで「ターミナル」を検索して開きます。
ターミナルウィンドウを開いて使用する準備ができたら、CDコマンドを使用して/etc/apt/sources.list.d/フォルダーに移動します。 このフォルダに移動したら、lsコマンドを実行してディレクトリの内容を表示できます。
ls
PPAファイルがたくさんある場合は、 8月 整理することがたくさんあります。 簡単にするために、lsコマンドをgrepfilterコマンドと組み合わせることができます。 grepを使用して、さまざまなキーワードを並べ替えることができます。
たとえば、Mozillaセキュリティppaを見つけようとしている場合は、以下のコマンドを検索します。
ls | grep "mozilla"
PPAを削除する
Linux MintからPPAを完全に削除したい場合は、基本的なBashターミナルコマンドを使用して、フォルダー内で直接削除できます。 システムから1つのPPAを削除するには、rmコマンドの使用を開始し、PPAファイル名を指定します。
たとえば、LinuxMintからMozillaSecurity PPA(FirefoxとThunderbirdの高速更新を提供するPPA)を削除するには、「ubuntu-mozilla-security-ppa-focal.list」ファイルと一緒にrmコマンドを実行できます。
cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list
Linux Mint PCからPPAリストファイルを削除するには、「my_ppa_file_here.list」をLinux Mintから削除するPPAファイル(/etc/apt/sources.list.d/にある)に置き換えるだけです。
cd /etc/apt/sources.list.d/ sudo rm my_ppa_file_here.list
PPAがLinuxMintから削除されたら、updateコマンドを実行する必要があります。 このコマンドは、LinuxMintが古いPPAがシステム上に存在しないことを確実に認識します。
sudo apt update
更新されると、PPAは削除されます。
既存のPPAを編集する
ターミナルを使用して、LinuxMint上の既存のPPAを編集することができます。 これを行うには、最初に以下のCDコマンドを使用して/etc/apt/sources.list.d/ディレクトリに入る必要があります。
cd /etc/apt/sources.list.d/
ここから、lsコマンドを実行してフォルダーの内容を表示し、編集目的でフォルダーを見つける必要があります。
ls
またはより良いフィルタリングのために。
ls | grep "name of ppa"
PPAの名前がわかったら、nanoテキストエディタを使用してPPAを編集します。 たとえば、Mozilla Security PPAを編集するには、次のように入力します。
sudo nano ubuntu-mozilla-security-ppa-focal.list
編集モードになったら、Nanoテキストエディタを使用して、好きなものを微調整および変更します。 完了したら、Ctrl + Oを押して保存し、Ctrl + Xを押して編集を終了します。
以下のコマンド例を使用して、PPAを編集します。
cd /etc/apt/sources.list.d/ sudo nano my-ppa-file.list
新しいPPAを追加します
ターミナルを介してLinuxMintに新しいPPAを追加することは、それらを削除または編集するよりもはるかに簡単です。 Linux Mintに新しいPPAを追加する場合は、以下のadd-apt-repositoryコマンドを使用するだけです。
sudo add-apt-repository ppa:my-ppa/ppa