command lines

Commands that users can run either from the system prompt or in scripts.