The Korn Shell: User and Programming Manual