From 028a42fa083fc365eb4a256b016dd14904aa167c Mon Sep 17 00:00:00 2001 From: J0WI Date: Sat, 22 Oct 2016 00:32:36 +0200 Subject: [PATCH] improve make-trivial-rule (#6868) improve make-trivial-rule duplicate heuristic add comment block for nonfunctional hosts --- src/chrome/content/rules/make-trivial-rule | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/src/chrome/content/rules/make-trivial-rule b/src/chrome/content/rules/make-trivial-rule index 2d6080ff51ae..2e22d6ac2fad 100755 --- a/src/chrome/content/rules/make-trivial-rule +++ b/src/chrome/content/rules/make-trivial-rule @@ -34,6 +34,15 @@ fi lower=$(echo "$1" | tr A-Z a-z) escaped=$(echo "$lower" | sed 's/\./\\./g' ) + +duplicate=$(grep -EHin '' *.xml) +if [ -n "$duplicate" ] +then + echo "error: $lower already exists:" >&2 + echo "$duplicate" >&2 + exit 1 +fi + if [ "$#" -gt 1 ] ; then to="$2" else @@ -41,6 +50,15 @@ else fi cat > "$dest" <