Skip to content
Snippets Groups Projects

Resolve "Wolf license"

Merged Joan Vallvé Navarro requested to merge 198-wolf-license into devel
1 file
+ 28
14
Compare changes
  • Side-by-side
  • Inline
+ 28
14
@@ -20,6 +20,32 @@
# update apt
- apt-get update
.license_header_template: &license_header_definition
- 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} ] ; then
- 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=. --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
.build_and_test_template: &build_and_test_definition
- mkdir -pv build
- cd build
@@ -42,20 +68,8 @@ license_header:
image: labrobotica/wolf_deps:16.04
before_script:
- *preliminaries_definition
script:
- git config --global user.email "${CI_EMAIL}"
- git config --global user.name "${CI_USERNAME}"
- touch prova.txt
- git add -f prova.txt
- git commit -m "added prova.txt" || echo "No changes, nothing to commit!"
- git remote set-url --push origin "ssh://git@gitlab.iri.upc.edu:2202/${CI_PROJECT_PATH}.git"
# push changes
# always return true so that the build does not fail if there are no changes
- git push origin HEAD:${CI_COMMIT_REF_NAME}
script:
- *license_header_definition
build_and_test:xenial:
stage: build_and_test
Loading