/usr/public?/usr/public sind Programme zusammengefasst, die bisher
bei verschiedenen Benutzern verteilt waren. Z.B. ~mueller, ~cbv,
~misar, ~irmler ... Wir hoffen, daß hiermit eine allgemein akzeptable
Senke für Dinge, die der Allgemeinheit zur Verfügung stehen sollten,
erreicht wird. Es ist nicht mehr notwendig, verschiedene Programme, die auch andere benutzen wollen, zu kopieren. Damit wird der geringe Platz auf den Platten besser genutzt. Es bleibt zu hoffen, daß der damit gewonnene Platz nicht für andere, sinnlose Daten genutzt wird.
/usr/public ? /usr/public bietet einen Dateibaum, wie er etwa auch in
/usr/local zu finden ist. In
/usr/public/bin /usr/public/lib /usr/public/man /usr/public/info /usr/public/htmlinfo
/usr/public/adm packages,
die eine kurze Beschreibung der installierten Programme beinhaltet.
/usr/public? /usr/public/bin in den
PATH auf. Das sollte in Dateien wie
.profile, .x11profile oder
.login geschehen. In diesem Fall sollte man auch
/usr/public/man in den MANPATH aufnehmen.
/usr/public/bin diese Links sollten dann in einem
Directory angelegt werden, das im PATH enthalten ist.
/usr/public/bin/programmname auf.
XFILESEARCHPATH um /usr/public/lib/X11/%T/%N%S
ergänzen.
/usr/public bei?/usr/public wird zur Zeit von folgenden Leuten verwaltet:
/usr/public hier.Besitzt man selbst ein Programm, das man der Allgemeinheit zugänglich machen will, so schreibe man eine E-Mail an
public@rbg.informatik.tu-darmstadt.de (Public) oder spreche einen von uns Verwaltern an.
Vorzugsweise steht an der in der Mail angegebenen Stelle ein Makefile,
das entweder dazu verwendet werden kann, das Programm in
/usr/public zu installieren oder es neu zu
compilieren.