
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN" "http://www.w3.org/TR/REC-html40/strict.dtd">

<html><head><meta name="qrichtext" content="1" /><style type="text/css">

p, li { white-space: pre-wrap; }

</style></head><body style=" font-family:'Bitstream Vera Sans Mono'; font-size:13pt; font-weight:400; font-style:normal;">

<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Am Mi 06 Nov 2013 18:51:41 schrieb Stephan Hennig:</p>

<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> <URL:http://www.dante.de/DTK/Ausgaben/komoedie20052.pdf></p>

<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">> <URL:http://www.dante.de/DTK/Ausgaben/2008-1.pdf></p>

<p style="-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; "> </p>

<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">Danke für den Hinweis. Ich hatte auch erwogen, das Problem auf Systemebene mit sed und so zu erschlagen. Allein mein Skript erstellt nicht nur, wie Werners, eine Wortliste aus einem gegebenen Text (das ist der kleinere Teil). Sondern schlägt für jedes einzelne Wort nach, ob es bereits in der git-Wortliste (bzw. *den* relevanten Listen) enthalten ist. Und das Suchen in einem eine halbe Million Einträge umfassenden Array dauert wohl halt so seine Zeit. Je mehr Worte bereits enthalten sind, desto langsamer läuft es. :(</p>

<p style=" margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px; -qt-user-state:0;">georg</p></body></html>