From: Enrico Zini <enrico@enricozini.org>
Date: Thu, 13 Aug 2009 13:32:15 +0000 (+0100)
Subject: Added script to generate a cache of polygen info
X-Git-Url: https://git.toastfreeware.priv.at/gregoa/zavai.git/commitdiff_plain/78e6132cd35be063de3e17939c579f6b5f6c9320

Added script to generate a cache of polygen info
---

diff --git a/src/Makefile.am b/src/Makefile.am
index fd28b09..0e83d1d 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -66,5 +66,5 @@ zavai_LDADD = \
 #	gee-1.0.vapi \
 #	$(NULL)
 
-EXTRA_DIST = $(zavai_VAPIS) sat-monitor
+EXTRA_DIST = $(zavai_VAPIS) sat-monitor update-polygen-info
 #$(libgee_la_VALASOURCES) gee-1.0.vapi gee.vala.stamp
diff --git a/src/update-polygen-info b/src/update-polygen-info
new file mode 100755
index 0000000..eaaf94f
--- /dev/null
+++ b/src/update-polygen-info
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+TARGET=~/.zavai/polygen-info
+
+exec > $TARGET
+
+cd /usr/share/polygen
+find . -name "*.grm" | sort | while read NAME
+do
+	TITLE=`polygen -info $NAME | grep ^title: | head -1 | sed -re 's/^[^:]+: *//'`
+	NAME=${NAME:2}
+	NAME=${NAME%.grm}
+	echo "$NAME $TITLE"
+done