1 files changed, 29 insertions, 0 deletions
diff --git a/spice-server/sed.sh b/spice-server/sed.sh
new file mode 100755
index 0000000..1d8f157
--- /dev/null
+++ b/spice-server/sed.sh
@@ -0,0 +1,29 @@
+#!/bin/bash
+
+# replace a string with another in all sources (server
+# directory)
+
+set -e
+
+error() {
+    echo "$@" >&2
+    exit 1
+}
+
+from="$1"
+to="$2"
+test -n "$from" || error "From not specified"
+test -n "$to" || error "To not specified"
+cd server
+
+rm -f *.orig
+for fn in *.[ch]; do
+    perl -pi.orig -e "s/\\b$from\\b/$to/g" $fn
+    if cmp -s $fn $fn.orig; then
+        mv -f $fn.orig $fn
+    fi
+done
+make -j3
+rm -f *.orig
+
+echo ok