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.
Verfügbar sind unter anderem:
- Protokolle der SV
- vom Hausparlament im K1, K2, K3, K4, K5 und K6
- vom Kollegausschuss unter kollegausschuss/
- von der Mitgliederversammlung des HaDiKo e.V. unter mitgliederversammlung/
- Aktuelle Satzung und Ordnungen (inkl. HausGOs fürs K1-K5 gebündelt oder als Einzeldokumente
- Eine Vielzahl an Dokumenten, Bildern und Sonstigen Dateien zur Selbstverwaltung im Unterverzeichnis medien/. Unter anderem:
- Alte Ausgaben vom HaDiKoller
- Alle Bilder der Gallery unter gallery/
Linux Mirrors
Debian

Arch Linux

Das HaDiNet betreibt einen Arch Linux Mirro, der teil der offiziellen Mirror-Liste ist. Leider ist unser Mirror (noch?) nicht im Paket core/pacman-mirrorlist enthalten. Der Mirror-Status kann auf archlinux.org abgerufen werden.
Links
- Installations-Images: https://files.hadiko.de/pub/dists/arch/arch/iso/latest/
- Hauptverszeichnis: https://files.hadiko.de/pub/dists/arch/
Einrichtung
Siehe auch: Offizielle Dokumentation im ArchWiki.
Dadurch, dass wir ein offizieller Mirror sind, kannst du das rankmirrors-Skript aus dem Paket pacman-contrib oder das Tool 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