Script to transform old to new text fields

git-svn-id: https://forth-ev.de/repos/bigforth@762 3b8d8251-53f3-0310-8f3b-fd1cb8370982

field.sh

+#!/bin/bash
+
+for i in *.m
+do
+    sed -e 's/\(\^\^ SN\[.*\]SN ( MINOS )\) \([\-&0-9.]* \]N ( MINOS )\)/\2 \1/g' \
+	-e 's/\(\^\^ SF\[.*\]SF ( MINOS )\) \([+\-&0-9.]* \]F ( MINOS )\)/\2 \1/g' \
+	-e 's/\(^ *\)\(\^\^ ST\[.*\]ST ( MINOS )\) [ST]\(" [^"]*"\)/\1T\3 \2/g' \
+	<$i >$i+ && mv $i+ $i
+done