Site News

Introducing the Pop!_Planet Community Repository!

It’s no secret that my background includes time spent as a developer for Arch Linux, and one thing that I’ve always missed with any other distro is an equivalent to the AUR (Arch User Repository). There will always be packages that are popular but, for one reason or another, don’t make it into the official repository. The AUR was a great way to expand the distro software selection in a semi-official way with minimal hassle for the end-users, and I’ve always wanted to see an equivalent for Pop. With that in mind, I’ve been experimenting with setting up a community-driven repository for Pop, and today I’m proud to announce the official launch of the Pop!_Planet Community Repository!

Right now, the repository is very bare-bones. It currently only hosts the packages released under the Pop!_Planet brand and supporting libraries. Additionally, the web interface is far from finished. Today it does little more than provide a brief overview of the packages available. In the future, it will allow a much broader feature set including searching for packages, commenting on packages, and even uploading packages for those users who elect to maintain specific packages in the future.

If you’re ready to get a head start on working with our community repo, or are interested in our dpkg-clean or pop-paste utilities, the repository can be added to your system following the instructions below!

# Add the repository key
wget -qO - | sudo apt-key add -
# Add the repository
sudo apt-add-repository
# Update package lists
sudo apt update