A collection of shell (bash) scripts I find useful