Archive

1. Progress Linux 4 (dschinn)

sudo apt install --yes --no-install-recommends apt-transport-https ca-certificates
cat > /etc/apt/sources.list.d/debian.list << EOF
deb https://deb.debian.org/debian stretch main contrib non-free
deb http://security.debian.org stretch/updates main contrib non-free
deb https://deb.debian.org/debian stretch-updates main contrib non-free
EOF
cat > /etc/apt/sources.list.d/progress-linux.list << EOF
deb https://cdn.archive.progress-linux.org/packages dschinn main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-security main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-updates main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-extras main contrib non-free restricted
EOF
cat > /etc/apt/preferences.d/progress-linux.pref << EOF
Package: *
Pin: release n=dschinn
Pin-Priority: 999

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

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

Package: *
Pin: release n=dschinn-extras
Pin-Priority: 999
EOF
wget https://archive.progress-linux.org/packages/project/pgp/archive-key-dschinn.asc -O - | sudo apt-key add -
sudo sh -c "apt update && apt upgrade && apt dist-upgrade && apt clean && apt autoremove --purge"
# If you have no other custom repositories, you can remove your sources.list
sudo rm -f /etc/apt/sources.list /etc/apt/sources.list~

2. Progress Linux 4+ (dschinn-backports)

sudo apt install --yes --no-install-recommends apt-transport-https ca-certificates
cat > /etc/apt/sources.list.d/debian.list << EOF
deb https://deb.debian.org/debian stretch main contrib non-free
deb http://security.debian.org stretch/updates main contrib non-free
deb https://deb.debian.org/debian stretch-updates main contrib non-free

#deb https://deb.debian.org/debian stretch-backports main contrib non-free
EOF
cat > /etc/apt/sources.list.d/progress-linux.list << EOF
deb https://cdn.archive.progress-linux.org/packages dschinn main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-security main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-updates main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-extras main contrib non-free restricted

deb https://cdn.archive.progress-linux.org/packages dschinn-backports main contrib non-free
deb https://cdn.archive.progress-linux.org/packages dschinn-backports-extras main contrib non-free restricted
EOF
cat > /etc/apt/preferences.d/progress-linux.pref << EOF
Package: *
Pin: release n=dschinn
Pin-Priority: 999

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

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

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

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

Package: *
Pin: release n=dschinn-backports-extras
Pin-Priority: 999
EOF
wget https://archive.progress-linux.org/packages/project/pgp/archive-key-dschinn.asc -O - | sudo apt-key add -
sudo sh -c "apt update && apt upgrade && apt dist-upgrade && apt clean && apt autoremove --purge"
# If you have no other custom repositories, you can remove your sources.list
sudo rm -f /etc/apt/sources.list /etc/apt/sources.list~