Progress Linux

Installation

Installing Debian

We currently don’t provide any installer images with Progress Linux packages. Therefore you need to install Debian first, see the installation guide for more information.

It’s required that you have a correct configuration of the Debian repositories (specifically, non-free should be enabled):


sudo sh -c 'cat > /etc/apt/sources.list.d/debian.sources << EOF
# /etc/apt/sources.list.d/debian.sources

Types: deb
URIs: https://deb.debian.org/debian
Suites: trixie trixie-updates
Components: main contrib non-free non-free-firmware
PDiffs: no
Signed-By: /usr/share/keyrings/debian-archive-keyring.gpg

Types: deb
URIs: https://deb.debian.org/debian-security
Suites: trixie-security
Components: main contrib non-free non-free-firmware
PDiffs: no
Signed-By: /usr/share/keyrings/debian-archive-keyring.gpg
EOF'

If you don’t use any other repositories, you can remove your old sources.list


sudo rm -f /etc/apt/sources.list
sudo rm -f /etc/apt/sources.list~
sudo rm -f /etc/apt/sources.list.bak

Choose your Upgrade Method

Debian systems can be upgraded with Progress Linux packages by any of these recommended methods:

  • Method 1: Feeling lucky using the yolo.sh script.

  • Method 2: Doing everything automatically using the progress-linux package.

  • Method 3: Doing everything manually.

It does not matter which method you choose as all instructions below result in the same configuration.

Method 1: YOLO Install for Vibe System Engineering 🤙

Shortest version (without checking cryptographic signature)


wget -q https://deb.progress-linux.org/packages/project/install/yolo.sh -O - | /bin/sh -

Longer version (with checking cryptographic signature)


wget https://deb.progress-linux.org/packages/project/install/yolo.sh
wget https://deb.progress-linux.org/packages/project/install/yolo.sh.sig


sudo apt install --yes --no-install-recommends gnupg debian-keyring
gpg --keyring /usr/share/keyrings/debian-keyring.gpg --verify yolo.sh.sig


./yolo.sh


rm -f yolo.sh
rm -f yolo.sh.sig

Method 2: Automatic Upgrade

Systems installed with Debian 13 (trixie) or newer are directly upgradeable with Progress Linux packages.


sudo apt install --yes progress-linux

If you don’t see any Debconf configuration dialogs, you may have a too high Debconf priority configured. In this case run a package reconfigure.


sudo dpkg-reconfigure -plow progress-linux

After enabling the repositories, upgrade your system.


sudo apt full-upgrade --update --yes
sudo apt autopurge --yes

To finish the upgrade, rebooting the system is recommended.


sudo reboot

Method 3: Manual Upgrade

If you prefer not using the automatic method, here’s an example on how to manually upgrade a Debian 13 (trixie) system with Progress Linux packages.


sudo apt install --yes --no-install-recommends ca-certificates gnupg debian-keyring wget


sudo mkdir -p /usr/share/progress-linux/pgp-keys
sudo wget https://deb.progress-linux.org/packages/project/pgp/progress-linux-8-horok-archive-key.pub -O /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg
sudo wget https://deb.progress-linux.org/packages/project/pgp/progress-linux-8-horok-archive-key.pub.sig -O /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg.sig

gpg --keyring /usr/share/keyrings/debian-keyring.gpg --keyring /usr/share/keyrings/debian-maintainers.gpg --verify /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg.sig
sudo rm -f /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg.sig

sudo gpg --import /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg
sudo rm -f /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg
sudo gpg -o /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg --export 163809EA745515A2AEF8E065140E76B987E5C2BC


sudo sh -c 'cat > /etc/apt/sources.list.d/progress-linux.sources << EOF
# /etc/apt/sources.list.d/progress-linux.sources

Types: deb
URIs: https://deb.progress-linux.org/packages
Suites: horok horok-security horok-updates horok-backports
Components: main contrib non-free non-free-firmware
PDiffs: no
Signed-By: /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg

Types: deb
URIs: https://deb.progress-linux.org/packages
Suites: horok-extras horok-backports-extras
Components: main contrib non-free non-free-firmware restricted
PDiffs: no
Signed-By: /usr/share/progress-linux/pgp-keys/deb.progress-linux.org.gpg
EOF'


sudo sh -c 'cat > /etc/apt/preferences.d/progress-linux.pref << EOF
# /etc/apt/preferences.d/progress-linux.pref

Package: *
Pin: release n=horok
Pin-Priority: 999

Package: *
Pin: release n=horok-security
Pin-Priority: 999

Package: *
Pin: release n=horok-updates
Pin-Priority: 999

Package: *
Pin: release n=horok-extras
Pin-Priority: 999

Package: *
Pin: release n=horok-backports
Pin-Priority: 999

Package: *
Pin: release n=horok-backports-extras
Pin-Priority: 999
EOF'


sudo apt full-upgrade --update --yes
sudo apt autopurge --yes


sudo reboot

Extra: Metapackages

After upgrade from Debian with Progress Linux packages, you might want to install any of the following metapackages.

Base System


sudo apt install --yes progress-linux-host progress-linux-base-system

GNOME Desktop


sudo apt install --yes progress-linux-host progress-linux-gnome-desktop

Container Server


sudo apt install --yes progress-linux-host progress-linux-container-server

Extra: Fast Forward Packages for Debian

We recommend additionally also using our complimentary repository fastforward.debian.net with guaranteed Progress Linux compatibility.