Resolve "Wolf license"

Closes #198 (closed) Closes #415 (closed)

.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