The convenience of batch files: getting started