Linux workstations

Our group developed a Debian/GNU Linux based automated setup for workstations. On the managed workstations we install Ubuntu Desktop as the preferred flavour.

Several Readmes offer more information:

The general workstations page shows you the locations of the publicly accessible rooms equipped with our Linux workstations.

News about our Linux workstations are distributed on our newsticker and can (and should!) be subscribed to.

Most common problems

The default desktop environment is Unity (only supported in Ubuntu 16.04 + 5 years, see, however it requires 3d acceleration. Sometimes it can happen (NVidia kernel module not fitting the current running Linux kernel). If you don't need OpenGL, just select Mate (by clicking the white circle) at the login screen.

If after working a while, you can't login anymore, it is most probably you have run into quota in your user home directory, check here if you are listed.