hare

The Hare programming language
git clone https://git.torresjrjr.com/hare.git
Log | Files | Refs | README | LICENSE

commit e4166e887fc58faa4a8c46038b55b6683faa664f
parent c408ee26e73c163a865811c019d4ef5070746c9b
Author: Vlad-Stefan Harbuz <vlad@vladh.net>
Date:   Mon, 21 Feb 2022 11:28:34 +0100

add copyright.sh

Signed-off-by: Vlad-Stefan Harbuz <vlad@vladh.net>

Diffstat:
Acontrib/copyright.sh | 68++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 68 insertions(+), 0 deletions(-)

diff --git a/contrib/copyright.sh b/contrib/copyright.sh @@ -0,0 +1,68 @@ +#!/bin/sh -eu + +files=$(find . -name '*.ha') + +for file in $files; do + printf "$file\n" + + # Get lines from `git blame`, which will be in sets of three: + # author Author Name + # author-mail test@example.com + # author-time 1644500475 + # author Other Author + # ... + authorinfo=$(git blame $file --porcelain | grep '^author\(-mail\|-time\)\? ' | sed 's/author[^ ]* //') + + # Format as: Author Name <test@example.com>;2011 + year_authorinfo="" + while read author; read mail; read timestamp; do + year=$(date +%Y -d @${timestamp}) + year_authorinfo="${year_authorinfo}${author} ${mail};${year}\n" + done <<EOF + $authorinfo +EOF + + uniq_year_authorinfo="$(printf "$year_authorinfo" | sort -u)" + # Get only the unique author names + uniq_authors="$(printf "$year_authorinfo" | awk -F ';' '{print $1}' | sort -u)" + + # Get all years for each author, and condense them into one line per author, + # with the earliest contribution as the start year, and the latest + # contribution as the end year + condensed_authorinfo="" + while read author; do + years_for_author="$(printf "$year_authorinfo" | awk -F ';' "{if (\$1 == \"$author\") print \$2}")" + min_year="$(printf "$years_for_author" | sort | head -n 1)" + max_year="$(printf "$years_for_author" | sort | tail -n 1)" + if [ $min_year = $max_year ]; then + condensed_authorinfo="${condensed_authorinfo}${author};${min_year}\n" + else + condensed_authorinfo="${condensed_authorinfo}${author};${min_year}-${max_year}\n" + fi + done <<EOF + $uniq_authors +EOF + + sorted_condensed_authorinfo="$(printf "$condensed_authorinfo" | sort -u)" + formatted_authorinfo="$(printf "$sorted_condensed_authorinfo" | awk -F ';' '{print "// (c) " $2 " " $1}')" + + case $file in + "./cmd/"*) header="// License: GPL-3.0\n$formatted_authorinfo\n" ;; + *) header="// License: MPL-2.0\n$formatted_authorinfo\n" ;; + esac + + n_existing_license_lines=$(cat $file | sed '/\(^\/\/ License\|^\/\/ (c)\|^$\)/! Q' | wc -l) + line_to_start_from=$((n_existing_license_lines + 1)) + + tail -n +${line_to_start_from} $file > copyright_tmp + + if [ -z "$(sed -n '1{/^use/p};q' copyright_tmp)" ]; then + # File does not start with "use" + printf "$header\n" | cat - copyright_tmp > $file + else + # File starts with "use" + printf "$header" | cat - copyright_tmp > $file + fi + + rm copyright_tmp +done