[Nottingham] input to bash

[Peter Chang]

Dave,

> Now that's EXACTLY what I wanted.  Thank you Peter.  It's ceratinly
> not the first thing to leap out of google if you don't know what it is
> you're looking for...

It's worth browsing through the (admittedly huge and scary) man pages to
bash just familiarise yourself with shell programming. Also look at
scripts in general, especially configure scripts - the problem domain is
similar and the techniques can lifted...

Peter



This message has been scanned but we cannot guarantee that it and any
attachments are free from viruses or other damaging content: you are
advised to perform your own checks.  Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.