case insensitive match in scripts/convert_edp_list.sh

rdementi · rdementi · commit 95aaf9e29e97 · 2022-02-10T09:46:33.000+01:00
Change-Id: I9b07bfd5ac29e1fc6cad0456b62093a59a3f10eb
diff --git a/scripts/convert_edp_list.sh b/scripts/convert_edp_list.sh
@@ -1,4 +1,4 @@
 
 
-cat "$1" | sed  '0,/^#.*group/d' |  head  -n -1 | dos2unix
+cat "$1" | sed  '0,/^#.*[gG][rR][oO][uU][pP]/d' |  head  -n -1 | dos2unix
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`	`1`
`2`	`2`
`3`		`-cat "$1" \| sed '0,/^#.*group/d' \| head -n -1 \| dos2unix`
	`3`	`+cat "$1" \| sed '0,/^#.*[gG][rR][oO][uU][pP]/d' \| head -n -1 \| dos2unix`
`4`	`4`