PPA

Unofficial APT repository.

Maintainer: Matěj Pavlíček

Available packages

discord

Discord voice and text chat client. The official .deb is fetched directly from Discord's download API. New versions are detected via ETag changes on the download URL.

postman

Postman API development environment. Downloaded as a tar.gz from dl.pstmn.io, extracted, and repackaged into a .deb with a desktop entry and /usr/bin/postman symlink. Version is read from the embedded package.json.

zcli

Zerops CLI for managing Zerops projects and services. Installs to /usr/local/bin/zcli. The .deb is downloaded directly from GitHub releases of zeropsio/zcli. New versions are detected via the GitHub latest release API.

Setup

# Download the signing key
curl -fsSL https://ppa.matejpavlicek.cz/key.gpg | sudo gpg --dearmor -o /usr/share/keyrings/ppa.gpg

# Add the repository
echo "deb [arch=amd64 signed-by=/usr/share/keyrings/ppa.gpg] https://ppa.matejpavlicek.cz stable main" | sudo tee /etc/apt/sources.list.d/matej-pavlicek-ppa.list

# Update and install
sudo apt update
sudo apt install <package-name>