../

Bash

• echo to stderr
• how to switch between stdin and a file
• how to get the name of the script in bash

---