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. OS: Ubuntu 16.04?