Add update-copyright.sh

1 files changed, 71 insertions, 0 deletions

diff --git a/update-copyright.sh b/update-copyright.sh
new file mode 100755
index 0000000..ebcc507
--- /dev/null
+++ b/update-copyright.sh
@@ -0,0 +1,71 @@
+#!/bin/sh
+
+# Copyright (c) 2023, Alessandro Iezzi
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions are met:
+#
+# 1. Redistributions of source code must retain the above copyright notice, this
+#    list of conditions and the following disclaimer.
+#
+# 2. Redistributions in binary form must reproduce the above copyright notice,
+#    this list of conditions and the following disclaimer in the documentation
+#    and/or other materials provided with the distribution.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+# AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+# DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+# OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+# OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+update()
+{
+	local file_type="`file $1 | grep -oE '(C source|makefile script)'`"
+
+	if [ "$file_type" = "C source" ]; then
+		start_symbol='\/\*-'
+		mid_symbol=' *'
+		end_symbol=' \*\/'
+	elif [ "$file_type" = "makefile script" ]; then
+		start_symbol='#-'
+		mid_symbol='#'
+		end_symbol='#'
+	else
+		return
+	fi
+
+	newcopy=`cat license-header.txt | sed -E "s/^/$mid_symbol /g" | sed -E "s/[ ]*$//g"`
+	newcopy=$start_symbol"\n"$newcopy"\n"$end_symbol"\n"
+
+	printf "$newcopy" > $tmp_file
+	cat $src_file | sed -E "/$start_symbol$/,/$end_symbol/d" >> $tmp_file
+	cat $tmp_file > $src_file
+}
+
+tmp_file=/tmp/file-`date +%s`
+
+for src_file in `find * -name "*"`; do
+	if [ -f $src_file ]; then
+		update $src_file
+	fi
+done
+
+rm -f $tmp_file
+
+exit
+
+oldcopy=`sed -n -E '/\/*-$/,/ \*\// p' $src_file`
+
+
+
+
+oldcopy=`printf "$oldcopy" | sed 's@/@\\/@g' | sed 's/\*/\\*/g' | tr '\n' '\\\n'`
+
+
+
+#sed -i "" "s/$oldcopy/$newcopy/g" $src_file