From ff5c3c4d876d91615a4096a7bfc1007dfe984fae Mon Sep 17 00:00:00 2001
From: joanvallve <jvallve@iri.upc.edu>
Date: Wed, 24 Nov 2021 14:32:53 +0100
Subject: [PATCH] less verbose script
---
scripts/license_manager.sh | 8 +++-----
1 file changed, 3 insertions(+), 5 deletions(-)
diff --git a/scripts/license_manager.sh b/scripts/license_manager.sh
index e66579e..edf6410 100755
--- a/scripts/license_manager.sh
+++ b/scripts/license_manager.sh
@@ -103,12 +103,10 @@ 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
--
GitLab