Re: greb and ksh

[Bill Hamilton <billh finsco com>]

as far as grep goes you probably want grep "dog" /home/student/*

The obscure symbols in your prompt are probably due to some environment
variables not being set (like PS1, PS2, etc). You could set them in
your .profile file. Maybe it is profile.ksh ? You may have a file called 
".env" that you would have to "source" with a dot command ". .env"

BYW, you don't need to set up a new user. Just type ksh to open a korn
shell. When you want to get back to bash, just type "exit" .