Skip to content
Snippets Groups Projects
Commit 5fd5725a authored by Michele Alberti's avatar Michele Alberti
Browse files

[ci] Revive script for updating headers.

parent 5e3576f1
No related branches found
No related tags found
No related merge requests found
#!/usr/bin/env bash
set -xe
NEW_DATE=$(date "+%Y")
OLD_DATE=$(date -d '1 year ago' "+%Y")
find . \( -type d -name .git -prune \) \( -type d -name ._build -prune \) -o -type f -print0 | xargs -0 sed -i 's/(C) '${OLD_DATE}'/(C) '${NEW_DATE}'/g'
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment