LinuxにOperaDeveloperEditionブラウザをインストールする方法
Linuxを使用しているOperaユーザーで、開発に取り掛かろうとしている場合は、Operaに開発者向けのブラウザがあることを知っていただければ幸いです。これ
あなたは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ファイルがたくさんある場合は、分類することがたくさんあるかもしれません。それを簡単にするために、あなたは組み合わせることができ LSが 使用してコマンド のgrep filterコマンド。grep を使用して、さまざまなキーワードを並べ替えることができます 。
たとえば、Mozillaセキュリティppaを検索しようとしている場合は、以下のコマンドを検索します。
ls | grep「mozilla」
PPAを削除する
Linux MintからPPAを完全に削除したい場合は、基本的なBashターミナルコマンドを使用して、フォルダー内で直接削除できます。システムから1つのPPAを削除するには、rm コマンドの使用を開始し、PPAファイル名を指定します。
たとえば、Mozilla SecurityPPAをLinuxMint(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
Linux MintからPPAを削除した後、update コマンドを実行する必要があります 。このコマンドは、LinuxMintが古いPPAがシステム上に存在しないことを確実に認識します。
sudo apt update
更新されると、PPAは削除されます。
既存のPPAを編集する
ターミナルを使用して、LinuxMint上の既存のPPAを編集することができます。これを行うには、最初に以下/etc/apt/sources.list.d/
のCD コマンドを使用してディレクトリに入る必要があります。
cd /etc/apt/sources.list.d/
ここから、ls コマンドを実行し てフォルダーの内容を表示し、編集目的でフォルダーを見つける必要があります。
ls
またはより良いフィルタリングのために。
ls | grep「ppaの名前」
PPAの名前がわかったら、 nano テキストエディタを使用してPPAを編集します。たとえば、Mozilla Security PPAを編集するには、次のように入力します。
sudo nanoubuntu-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
Linuxを使用しているOperaユーザーで、開発に取り掛かろうとしている場合は、Operaに開発者向けのブラウザがあることを知っていただければ幸いです。これ
KDE Plasmaパネルのクラッシュの問題を修正するための総合的なガイド
LinuxにBlenderをインストールする方法
Fedora Linuxアプリインストーラーを高速化するための完全ガイド
LinuxでWindows Bitlockerパーティションにアクセスする方法
Upscaler は、Linux 用のシンプルな Flatpak アプリで、使用すると、あらゆる画像をより高い解像度に拡大縮小できます。システムでの使用方法は次のとおりです。
7Zipは、Windows用の最も人気のある無料のオープンソースアーカイブツールです。Ubuntuに7Zipをインストールして、様々な圧縮ファイルを扱えるようにしましょう。
YouTube Musicは優れたサービスです。しかし、Linuxユーザーがサービスを楽しむための公式クライアントはありません。コミュニティのアプリを利用してLinuxでYouTube Musicを楽しむ方法について説明します。
UbuntuでSDカードをフォーマットする方法がわからないですか?このガイドを参考に、GpartedやGnome Disk Utilityを使って簡単にフォーマットする方法を学びましょう。
あなたはパズルゲームが好きですか?Linux PCで最高の無料パズルゲームを見つけるお手伝いをします。以下の6つのゲームをチェックしてください!