| #!/usr/bin/env bash | |
| # TODO: Find a less trashy way to get the next available error code | |
| if ! shopt -s globstar | |
| then | |
| echo "Error: This script depends on Bash 4." >&2 | |
| exit 1 | |
| fi | |
| for i in 1 2 3 | |
| do | |
| last=$(grep -hv "^prop" ./**/*.hs | grep -Ewo "${i}[0-9]{3}" | sort -n | tail -n 1) | |
| echo "Next ${i}xxx: $((last+1))" | |
| done |