From 63339d91d401adb94512617ad45e28c0527ea925 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rub=C3=A9n=20Rodr=C3=ADguez?= <ruben@trisquel.info>
Date: Sat, 1 Dec 2012 02:22:59 +0100
Subject: [PATCH] Simplified sed wrapper

---
 helpers/config | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/helpers/config b/helpers/config
index 54935261..22cea19e 100755
--- a/helpers/config
+++ b/helpers/config
@@ -146,7 +146,7 @@ rm /CurrentlyBuilding
 umount /proc
 }
 
-sedhelper(){
+sedhelper2(){
   FILE="$1"
   EXPR="$2"";"
 
@@ -164,6 +164,19 @@ sedhelper(){
   done
 }
 
+sedhelper(){
+  FILE="$1"
+  EXPR="$2"
+
+  MD5=$(md5sum "$FILE")
+  echo Running modification-aware sed: sed "$EXPR" -i "$FILE"
+  /bin/sed "$EXPR" -i "$FILE"
+  if [ "$MD5" = "$(md5sum "$FILE")" ]; then
+    echo File "$FILE" was not modified, stopping.
+    exit 1
+  fi
+}
+
 sed (){
 if ! echo $@ | grep -qw '\-i'; then
   echo Running fallback sed: /bin/sed "$@"
-- 
GitLab