diff options
Diffstat (limited to 'update-copyright.sh')
| -rwxr-xr-x | update-copyright.sh | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/update-copyright.sh b/update-copyright.sh deleted file mode 100755 index ebcc507..0000000 --- a/update-copyright.sh +++ /dev/null @@ -1,71 +0,0 @@ -#!/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 |