Article directory
1 Introduction
Creation start time: November 14, 2022 12:49:36
As in the title, briefly explore the definition of PPA sources and related operations (search online PPA sources, view local PPA sources, add, modify, delete).
2. PPA source definition
PPA full name: Personal Package Archive, translated as "personal package archive".
In Ubuntu, the PPA is defined as Personal Package Archive, which is used to add or remove packages on a Debian-based system. PPA’s are built by individual persons to develop and update packages for Linux. There are several reasons why one might need to use PPA on a Linux system. Sometimes you would not find the official package of an item on the web, but you might find a personal package archive of that package. If you’re a software developer, you can contribute to the open-source community through the PPA. Using PPA’s is not harmful, and you can avoid harmful PPA’s with basic computing knowledge. You can use PPA to add or remove packages on the Ubuntu system.
3. Search ppa source
Search on https://launchpad.net/+软件名 _ppa
For example:
4. View
ls /etc/apt/sources.list.d
5. Add
sudo add-apt-repository ppa:ownername/projectname
sudo apt update
6. Modification
Just modify /etc/apt/sources.list.d/the corresponding file directly.
7. Delete
Method 1:
Use to sudo rmdirectly delete /etc/apt/sources.list.d/the corresponding file.
Method 2:
sudo add-apt-repository -r ppa:ownername/projectname
8. Summary
Basically, it covers ppa-related operations in a relatively comprehensive way.
Creation end time: November 14, 2022 13:00:43
9. References
- Ubuntu 16 PPA source management (query, add, modify, delete) t.zoukankan.com/jiqing9006-p-12049827.html
- Adding and removing software sources for PPAs in Ubuntu t.zoukankan.com/feifanrensheng-p-9664342.html
- Add-apt-repository command detailed https://blog.csdn.net/qq_43406338/article/details/111027654
- What is PPA in Ubuntu Linux and How Do I Use Them https://www.ubuntupit.com/what-is-ppa-in-ubuntu-linux-and-how-do-i-use-them/