Paketquelle einrichten

sudo mkdir -p /usr/local/share/keyrings
sudo wget https://packages.bit-bots.de/key.asc -O /usr/local/share/keyrings/bitbots.key
echo 'deb [signed-by=/usr/local/share/keyrings/bitbots.key arch=amd64] https://packages.bit-bots.de jammy main' | sudo tee /etc/apt/sources.list.d/bitbots.list
sudo apt update
sudo apt upgrade

To always prefer our source packages to the official sources, put the following in /etc/apt/preferences.d/package-bit-bots.pref:

Package: *
Pin: origin "packages.bit-bots.de"
Pin-Priority: 1000

Pakete updaten

sudo apt update
sudo apt upgrade