Merge commit '42b2e5ca519766e37ce6941ba4faecc9691cc403' into upstream

[debian/openrocket] / core / resources / l10n / rename.sh

diff --git a/core/resources/l10n/rename.sh b/core/resources/l10n/rename.sh
new file mode 100755 (executable)
index 0000000..96ca246
--- /dev/null
+++ b/core/resources/l10n/rename.sh
@@ -0,0 +1,19 @@
+#!/bin/bash
+
+# Usage:
+# ./rename <file-containing-rename-keys> <files_to_modify ...>
+#
+# Rename keys file contains space-separated lines:
+#    <old.key> <new.key>
+
+RENAME="$1"
+shift
+
+cat "$RENAME" | while read line ; do
+
+    FROM=`echo $line | awk '{print $1}'`
+    TO=`echo $line | awk '{print $2}'`
+
+    sed -i "s/$FROM/$TO/g" "$@"
+
+done