bash, formatting