Add dicts script media.

gabordemooij · Dec 10, 2023 · ec9e61f · ec9e61f
1 parent 0eb80b7
commit ec9e61f
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/plugins/media/dicts.sh b/plugins/media/dicts.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+ISOs=$(ls i18n)
+for ISO in $ISOs
+do
+	echo ; echo $ISO
+	if [ -f "dict/xx${ISO}.dict" ]; then
+		rm   dict/en${ISO}.dict
+	fi
+	../../bin/Linux/ctren -g ../../i18n/en/dictionary.h ../../i18n/${ISO}/dictionary.h > dict/en${ISO}.dict
+	../../bin/Linux/ctren -g i18n/en/media.h i18n/${ISO}/media.h >> dict/en${ISO}.dict
+done
+