DebianUbuntu

Debian/Ubuntu repo

How to use a Debian (Ubuntu) repository

Goal

• Avoid manually downloading deb packages, and taking care of their dependencies by hand
• Let APT do the work, by extending /etc/apt/sources.list.

What we need

• A full-fledged "standard structured" repository would be overkill for a single package.
• Packages.gz describes the recent version deb package and has to be replaced at release time.

What doesn't work

• GoogleDrive makes it very hard to reference single files for download.
• A Packages.gz file there could not be maintained.
• A "simple" HTML redirect doesn't work since APT doesn't follow it.

A workaround

• Use "emergency download mirror" http://geotoad.faehrwiese.selfhost.me/downloads/
• Disadvantage: may not always be reachable, and disappear completely

How to merge the GeoToad repository into your installation

• Add this line as /etc/apt/sources.list.d/geotoad.list:

deb [trusted=yes] http://geotoad.faehrwiese.selfhost.me/downloads/ ./

• Remove the [trusted=yes] part if you want to be queried.
• Run apt-get update, then apt-get install geotoad (or upgrade)

A final word of warning

This feature may vanish in the future without prior notice, and/or miss updates. You're on your own to keep the sources.list file or remove/rename it should it fail.