Fileserver
Allgemeine Informationen
Das HaDiNet betreibt einen Fileserver, auf welchem ihr viele Dokumente zur Selbstverwaltung und auch Mirrors von Linux Distributionen findet.
Das Unterverzeichnis medien/ mit den Dokumenten zur Selbstverwaltung und alles im Unterverzeichnis sv/ bis auf die Ordnungen ist nur aus dem HaDiNet abrufbar.
- Protokolle der SV
- vom Haus-Parlament im K1, K2, K3, K4, K5 und K6
- vom Kolleg-Ausschuss hier
- von der Mitgliederversammlung des HaDiKo e.V. hier
- Aktuelle Satzung und Ordnungen
- HausGOs fürs K1-K5
Linux Mirrors
Debian
Arch Linux
Das HaDiNet betreibt einen offiziell gelisteten Arch Linux Mirror. Damit sind wir teil der offiziellen Mirror-Listen. Leider ist unser Mirror (noch?) nicht im Paket core/pacman-mirrorlist enthalten. Der Mirror-Status kann auf archlinux.org abgerufen werden.
Links
- ISO-Images: https://files.hadiko.de/pub/dists/arch/arch/iso/latest/
- Hauptverszeichnis: https://files.hadiko.de/pub/dists/arch/
Einrichtung
Siehe auch die offizielle Dokumentation im ArchWiki. Dadurch, dass wir ein offizieller Mirror sind, kannst du das rankmirrors-Skript aus pacman-contrib oder Reflector verwenden. Wenn du das aus dem HaDiKo aus machst, sollte unser Mirror als der schnellste so automatisch eingerichtet werden.
Alternativ kannst du den Mirror auch einfach manuell einrichten: In der Datei /etc/pacman.d/mirrorlist muss die folgende Zeile oben eingefügt werden, damit pacman bevorzugt auf den Arch-Mirror im HaDiKo zugreift.
Server = https://files.hadiko.de/pub/dists/arch/$repo/os/$arch
Sonstiges
- Alte Ausgaben vom HADIKOLLER