Add new script.
authorCarl Hetherington <cth@carlh.net>
Tue, 28 Jan 2020 11:49:08 +0000 (12:49 +0100)
committerCarl Hetherington <cth@carlh.net>
Mon, 3 Feb 2020 19:40:21 +0000 (20:40 +0100)
hacks/metadata_from_problem [new file with mode: 0755]

diff --git a/hacks/metadata_from_problem b/hacks/metadata_from_problem
new file mode 100755 (executable)
index 0000000..a739d5f
--- /dev/null
@@ -0,0 +1,14 @@
+#!/usr/bin/python3
+
+import sys
+
+on = False
+for line in sys.stdin:
+    line = line.strip()
+    if line == '<?xml version="1.0" encoding="UTF-8"?>' or on:
+        print(line)
+        on = True
+    if line == '</Metadata>':
+        on = False
+
+