edit history En:pool:u1.012 This is an old revision of the document! U1.012 - Linux Pool This is the big Linux Pool containing 20 PCs. The computer names in the graphic are obsolete, the correct names are edutux-01 to edutux-20 OS: debian 9