lib/scripts/getplatform
Tue, 28 Jan 1997 16:21:15 +0100 wenzelm fixed problems with strange user .bashrc etc. (stty, ...);
Mon, 09 Dec 1996 16:39:53 +0100 wenzelm getplatform - bash source script to augment current env;
less more (0) tip