From 7d5b80075f558f830179a272401a7b4f46789515 Mon Sep 17 00:00:00 2001
From: joanvallve <jvallve@iri.upc.edu>
Date: Wed, 24 Nov 2021 15:01:20 +0100
Subject: [PATCH] chmod and less verbose
---
scripts/license_manager.sh | 9 +++------
1 file changed, 3 insertions(+), 6 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..36225be
--- 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
--
GitLab