From 2ec0ffc679b973a958b6c640722a481a105d9878 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bernd=20Lo=CC=88rwald?= <bloerwald@googlemail.com>
Date: Tue, 13 Mar 2018 22:47:39 +0100
Subject: [PATCH] this is the horrible command line doing 0.5.3 dumps after
 manual wiki dumping and modification

---
 exedumper/0.5.3.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 exedumper/0.5.3.sh

diff --git a/exedumper/0.5.3.sh b/exedumper/0.5.3.sh
new file mode 100644
index 0000000000..53f77d29fd
--- /dev/null
+++ b/exedumper/0.5.3.sh
@@ -0,0 +1 @@
+for f in $(ls); do (echo COLUMNS; cat $f | grep m_ | grep -v '    ' | sed -e 's,;.*// *, // ,' -e 's,;.*,,' -e 's, m_, ,' -e 's,^   ,,' -e 's,uint[0-9]*_t,uint,' -e 's,int[0-9]*_t,int,' -e 's,\[.*\],,';echo; echo BUILD 0.5.3.3368; cat $f | grep m_ | grep -v '    '  | sed -e 's,;.*,,' -e 's,   u*int32_t.* m_\([^\[]*\),\1<32>,'  -e 's,   u*int8_t.* m_\([^\[]*\),\1<8>,' -e 's,   string m_,,' -e 's,   locstring m_,,' -e 's,   float m_,,') > ../../../definitions/$f; done