next up previous contents index
Next: C Shell Scripts Up: Checker Previous: Technical Background

Shell Scripts

This section is part of an older chapter from another manual - and may be useful here

Shell scripts can make life a lot easier. If you have never written them, and have to do a lot of repetitive work, this section is for you.   It will give you a small tour through creating and using them, but for a more complete coverage proper literature is recommended.[*]


Peter Teuben