Guest User

Untitled

a guest
Dec 12th, 2018
68
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.28 KB | None | 0 0
  1. #!/bin/sh -e
  2.  
  3. err() { echo 1>&2 "$@"; exit 1; }
  4.  
  5. [ -n "$1" -a -z "$2" ] || err 'Usage: cover <filename>'
  6. [ -r "$1" ] || err "Cannot read $1."
  7. coverage erase || err 'Cannot run coverage.'
  8. coverage run "$1"
  9. rm -rf htmlcov
  10. coverage html
  11. xdg-open htmlcov/
Add Comment
Please, Sign In to add comment