Paketquellen für Debian-Systeme

Öffentliche Paketquellen

Die Debian-Systeme verwenden einheitlich folgende Paketquellen:

/etc/apt/sources.list

deb ftp://ftp.informatik.uni-kiel.de/pub/debian wheezy main contrib non-free

deb http://security.debian.org/debian-security wheezy/updates main contrib non-free
#deb http://ftp.debian.org/debian wheezy-proposed-updates main contrib non-free

/etc/apt/sources.list.d/backports.list

deb http://ftp.de.debian.org/debian wheezy-backports main contrib non-free

/etc/apt/sources.list.d/mozilla.list

deb http://mozilla.debian.net/ wheezy-backports iceweasel-release

/etc/apt/sources.list.d/multimedia.list

deb http://www.debian-multimedia.org/ wheezy main non-free

/etc/apt/sources.list.d/opera.list

deb http://deb.opera.com/opera/ wheezy non-free

/etc/apt/sources.list.d/x2go.list

deb http://packages.x2go.org/debian wheezy main

Eigene Pakete der Arbeitsgruppe

Produktionspakete (/etc/apt/sources.list.d/psifi.list)

deb http://www-ps.informatik.uni-kiel.de/debian wheezy main
deb http://www-ps.informatik.uni-kiel.de/debian wheezy-backports main

Testpakete (auch: /etc/apt/sources.list.d/psifi.list)

#deb http://www-ps.informatik.uni-kiel.de/debian wheezy-test main
#deb http://www-ps.informatik.uni-kiel.de/debian wheezy-backports-test main