bash trick - prefixing a command?

[Dr. Michael J. Chudobiak]

> Have you looked at the GNU readline library?
> It may give you enough command line editing and history features
> for you purpose.
> 
> Rich

Rich,

Thanks so much - that's a really useful tip! It looks like writing a 
basic shell (as in http://linuxgazette.net/111/ramankutty.html) with the 
GNU readline and history libraries will let me write my own mini-bash in 
a fairly painless way.


- Mike