Various shell odds and ends

Last update: 2000 December 10