Official package repository for Inled applications.

How to use this repository

Ubuntu / Debian (APT)

# 1. Download the GPG key
wget -qO- https://apt.inled.es/archive.key | gpg --dearmor | sudo tee /usr/share/keyrings/inled-archive-keyring.gpg > /dev/null

# 2. Add the repository
echo "deb [signed-by=/usr/share/keyrings/inled-archive-keyring.gpg] https://apt.inled.es stable main" | sudo tee /etc/apt/sources.list.d/inled.list

# 3. Update and install
sudo apt update
Issues with apt update?
If you get "malformed line" or "NOSPLIT" errors, verify that /etc/apt/sources.list.d/inled.list contains a single line and does not end with a trailing slash after stable main.

Fedora / RHEL / CentOS (DNF/YUM)

# Create the config file
sudo tee /etc/yum.repos.d/inled.repo <

Arch Linux (Pacman)

# 1. Add to the end of /etc/pacman.conf
[inled]
SigLevel = PackageRequired
Server = https://apt.inled.es/arch/

# 2. Import and sign the GPG key
curl -s https://apt.inled.es/archive.key | sudo pacman-key -a -
sudo pacman-key --lsign-key 89F828A9675B63CD0077CE9965AA57CF36E2018F

# 3. Update and install
sudo pacman -Sy
Key missing after reboot?
If you use PearOS or a version of Arch with an ephemeral filesystem, you can use SigLevel = Optional TrustAll in step 1 to avoid importing the key on every boot (less secure, but functional).

Available packages

Developers

Learn how to integrate this repository into your CI/CD pipeline and deploy apps automatically.

Gemini CLI Skill