| Jonatan Antoni | b7e9379 | 2021-07-22 13:54:47 +0200 | [diff] [blame^] | 1 | #!/bin/bash |
| 2 | |
| 3 | FILE=$1 |
| 4 | RESULT=0 |
| 5 | |
| 6 | FILE_DATE=$(grep -E '@date\s+([0-9]{2}\. \w+ [0-9]{4})' ${FILE} | sed -E 's/^.*@date\s+([0-9]{2}\. \w+ [0-9]{4}).*/\1/') |
| 7 | if [[ ! -z $FILE_DATE ]]; then |
| 8 | AUTHOR_DATE=$(git log -1 --pretty="format:%ad" --date="format:%d. %B %Y" ${FILE}) |
| 9 | if [[ $AUTHOR_DATE != $FILE_DATE ]]; then |
| 10 | FILE_DATE_LINE=$(grep -En "@date.*${FILE_DATE}" ${FILE} | cut -f1 -d:) |
| 11 | echo "${FILE}:${FILE_DATE_LINE}:Please update file date to '$AUTHOR_DATE'." >&2 |
| 12 | RESULT=1 |
| 13 | fi |
| 14 | fi |
| 15 | |
| 16 | FILE_VERSION=$(grep -E '@version\s+V?([0-9]+\.[0-9]+(\.[0-9]+)?)' ${FILE} | sed -E 's/^.*@version\s+V?([0-9]+\.[0-9]+(\.[0-9]+)?).*/\1/') |
| 17 | if [[ ! -z $FILE_VERSION ]]; then |
| 18 | AUTHOR_REV=$(git log -1 --pretty="format:%h") |
| 19 | PARENT_REV=$(git log -1 --pretty="format:%p") |
| 20 | VERSION_BLAME=$(git blame ${PARENT_REV}..${AUTHOR_REV} -L ${FILE_VERSION_LINE},${FILE_VERSION_LINE} ${FILE} | sed -E 's/^\^([[:alnum:]]+).*/\1/') |
| 21 | if [[ $AUTHOR_REV != $VERSION_BLAME ]]; then |
| 22 | FILE_VERSION_LINE=$(grep -En "@version.*${FILE_VERSION}" ${FILE} | cut -f1 -d:) |
| 23 | echo "${FILE}:${FILE_VERSION_LINE}:Please increment file version." >&2 |
| 24 | RESULT=1 |
| 25 | fi |
| 26 | fi |
| 27 | |
| 28 | exit $RESULT |