BASH documentation and examples