diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c7fa3037c7fd9cea09b38c0e9bdb6094ccbf57ce..d3d3feffc1ced23e37ed39d9906f7b0b59ea8b9a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -26,30 +26,30 @@ - exit 1 # LICENSE MANAGEMENT - #- echo "current year of the headers: ${LICENSE_HEADER_YEAR}" - #- export LICENSE_HEADER_YEAR_NEW=$( date +'%Y' ) + - echo "current year of the headers:" ${LICENSE_HEADER_YEAR} + - export LICENSE_HEADER_YEAR_NEW=$( date +'%Y' ) # UPDATE: check if license headers have to be updated - #- if [ ! ${LICENSE_HEADER_YEAR} == ${LICENSE_HEADER_YEAR_NEW} ] - #- echo "license headers should be changed!" - #- echo "Creating new file wolf_scripts/license_header_${LICENSE_HEADER_YEAR_NEW}.txt..." - #- cd wolf_scripts - #- cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt - #- sed -e "s/${LICENSE_HEADER_YEAR}/'${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}'/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt - #- ./license_manager.sh --update --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt + - if [ ! ${LICENSE_HEADER_YEAR} == ${LICENSE_HEADER_YEAR_NEW} ] + - echo "license headers should be changed!" + - echo "Creating new file wolf_scripts/license_header_${LICENSE_HEADER_YEAR_NEW}.txt..." + - cd wolf_scripts + - cp license_header_${LICENSE_HEADER_YEAR}.txt license_header_${LICENSE_HEADER_YEAR_NEW}.txt + - sed -e "s/${LICENSE_HEADER_YEAR}/'${LICENSE_HEADER_YEAR},${LICENSE_HEADER_YEAR_NEW}'/g" license_header_${LICENSE_HEADER_YEAR_NEW}.txt + - ./license_manager.sh --update --path=. --license-header=license_header_${LICENSE_HEADER_YEAR_NEW}.txt # ADD: add license headers - #- else - #- ./license_manager.sh --add --path=${HOME}/???? --license-header=license_header_${LICENSE_HEADER_YEAR}.txt - #- fi + - else + - ./license_manager.sh --add --path=. --license-header=license_header_${LICENSE_HEADER_YEAR}.txt + - fi # push changes (if any) - #- git config --global user.email "${CI_EMAIL}" - #- git config --global user.name "${CI_USERNAME}" - #- if git commit -m "license headers added or modified" ; then - #- git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git" - #- git push origin HEAD:${CI_COMMIT_REF_NAME} - #- else - #- echo "No changes, nothing to commit!" - #- fi + - git config --global user.email "${CI_EMAIL}" + - git config --global user.name "${CI_USERNAME}" + - if git commit -m "license headers added or modified" ; then + - git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git" + - git push origin HEAD:${CI_COMMIT_REF_NAME} + - else + - echo "No changes, nothing to commit!" + - fi .build_and_test_template: &build_and_test_definition - mkdir -pv build