Managed 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 GNOME Shell.

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