make cover.sh compatible with Goobuntu, improve style
2 files changed