Command-files are lists of immediate commands, single commands and
command sequences, stored in a file.