5 top tips for writing great BASH scripts