bash scripts I find useful