DESY Linux 4 at Zeuthen  

DL4 is approaching its end of life date.
Find information about DL5 here.



Support for USB Memory Sticks on Desktop PCs is now available (June 10, 2003)

USB support in general is still considered slightly experimental, which is why we do not enable it on by default. If you'd like to give it a try, you can ask us to enable USB on your desktop (don't forget to tell us which one it is) by sending mail to

Once this is done, you should be able to plug the memory stick into any USB port and then mount the device with mount /media/usbstor (for unpartitioned devices) or mount /media/usbstor1 (for the first partition on the stick). Most memory sticks seem to have a single partition, but mount points are provided up to /media/usbstor9. Don't forget to unmount it (with umount /media/...) before unplugging the stick, or you will damage the filesystem on it. Try dosfsck(1) if you did it anyway - it's located in /sbin. The device is /dev/sda or /dev/sda1 or ..., and is fully accessible by the user logged in on the local screen (only). Hence you may also change the partitioning or create a more reasonable filesystem on your memory stick.

This has been testes successfully on hosts of the najade, nereide and oceanide classes, as well as on the PCs with a 750 Mhz PIII that have individual names. If you have an older desktop PC, you'd be the guinea pig. Notice that a malfunctioning USB driver may hang your PC.


DESY Linux 4 is the supported Linux at DESY Zeuthen.

DL4 is running today on all linux hosts at Zeuthen with the exception of two special purpose machines. It has proven to be quite stable. Today (in June 2003) there are all kinds of hosts (desktops and servers) with uptimes well in excess of a year.

Note that KDE ist still semi supported only: Due to it's complexity, we cannot guarantee that each and every feature will work correctly. It seems to be quite usable though.

Here's the list of known issues to be resolved:

Today, DL4 is probably more stable and free of problems than any previous linux version ever was.

Fixed recently:

Frequently encountered issues:

Some more information:

Last modified: June 10, 2003
Stephan Wiesand