diff options
| -rwxr-xr-x | update-copyright.sh | 71 |
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 |