Important information
The repository structure and its public key has been changed on 04/01/2024
# Add morihofi's official GPG key
sudo apt-get update
sudo apt-get install ca-certificates curl gnupg
sudo install -m 0755 -d /etc/apt/keyrings
curl -fsSL https://deb.data.morihofi.de/packages/public.gpg | sudo gpg --dearmor -o /etc/apt/keyrings/morihofi.gpg
sudo chmod a+r /etc/apt/keyrings/morihofi.gpg
# Add the repository to APT sources:
echo \
"deb [signed-by=/etc/apt/keyrings/morihofi.gpg] http://deb.data.morihofi.de/packages \
$(. /etc/os-release && echo "$VERSION_CODENAME") stable" | \
sudo tee /etc/apt/sources.list.d/morihofi.list > /dev/null
sudo apt-get update