introduction to shell commands