I'd like to set up shells on a Linux server for my programming students who come with Windows (they can use PuTTY or whatever). Is there a machine that can be repurposed for this purpose? -- Jason Dusek