Random useful bash scripts (for developers mostly)