Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #! /bin/bash
- if [ $# -lt 1 ]
- then
- echo "Usage: $0 <exercise>" >&2
- exit 1
- fi
- repo=$1
- this_dir=$(dirname $0)
- ${this_dir}/get-exercise 417 $repo
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement