Advertisement
Guest User

deeznuuts

a guest
Dec 10th, 2018
68
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.16 KB | None | 0 0
  1. #! /bin/bash
  2.  
  3. if [ $# -lt 1 ]
  4. then
  5. echo "Usage: $0 <exercise>" >&2
  6. exit 1
  7. fi
  8.  
  9. repo=$1
  10.  
  11. this_dir=$(dirname $0)
  12. ${this_dir}/get-exercise 417 $repo
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement