From 7fa1d510ed0ce47e6f57784ae01c62903aee00c4 Mon Sep 17 00:00:00 2001
From: joan <jvallve@iri.upc.edu>
Date: Wed, 24 Nov 2021 14:53:32 +0100
Subject: [PATCH] less verbose
---
scripts/license_manager.sh | 11 ++++-------
1 file changed, 4 insertions(+), 7 deletions(-)
mode change 100644 => 100755 scripts/license_manager.sh
diff --git a/scripts/license_manager.sh b/scripts/license_manager.sh
old mode 100644
new mode 100755
index e66579e..ee81a37
--- a/scripts/license_manager.sh
+++ b/scripts/license_manager.sh
@@ -103,15 +103,12 @@ if [ $mode == "update" ]; then
echo " Removing license header from file ${i}"
line_start="$(grep -wn $line_start_mark ${i} | head -n 1 | cut -d: -f1)"
line_end="$(grep -wn $line_end_mark ${i} | head -n 1 | cut -d: -f1)"
- echo ${line_start}
- echo ${line_end}
- #echo "${line_start},${line_end}d" $i
- #sed $('${line_start},${line_end}d)' $i
+ #echo ${line_start}
+ #echo ${line_end}
awk -v m=$line_start -v n=$line_end 'm <= NR && NR <= n {next} {print}' $i > tmpfile && mv tmpfile $i
- cat $i
+ #cat $i
fi
done
- #TODO
fi
# ADD CONTENT OF license-file AT THE BEGINNING OF CODE FILES
@@ -124,4 +121,4 @@ do
( echo ${line_start_mark}$'\n//'; cat ${license}; echo $'//\n'${line_end_mark}; cat $i ) > temp_file
mv temp_file $i
fi
-done
\ No newline at end of file
+done
--
GitLab