Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!shelby!portia!foo
From: foo@portia.Stanford.EDU (castor fu)
Newsgroups: gnu.bash.bug
Subject: Choice of command names
Keywords: bash help type
Message-ID: <3173@portia.Stanford.EDU>
Date: 26 Jun 89 16:13:58 GMT
Sender: castor fu <foo@Portia.stanford.edu>
Organization: Stanford University
Lines: 14

One thing which I was wondering about is whether it's a good idea
to reserve the keywords 'help' and 'type' for bash.  It seems
like the novice user might be surprised if they got a lot
of stuff about the shell when they type 'help' and that this keyword
should be reserved for a more generic help command.  Maybe
bashhelp ?

Similarly 'type' will no doubt confuse people coming from a VMS or
MS-DOS environment.  'typeof' is my suggestion for a replacement for type.

Can anyone else think of things that should be modified before 
the interface is 'frozen'?

		-Castor Fu
		foo@portia.stanford.edu