Ein sehr nützliches GREP-Skript
Ein tolles Skript, das die Textsuche und die Definition von GREP-Ausdrücken erleichtert, findet ihr auf der Website von Roland Dreger (www.rolanddreger.net). Hier geht es zum Download.
Wer noch nie ein Skript installiert hat, öffnet einfach das Bedienfeld Hilfsprogramme > Skripte (STRG + Alt + F11). Hierin entdecken wir 3 Ordner: Anwendung, Community und Benutzer. Wenn wir nun die Maus auf „Benutzer“ bewegen und die rechte Maustaste drücken, erscheint das Kontextmenü: „Im Explorer anzeigen“. Ein Explorer-Fenster öffnet sich und wir entdecken den Ordner „Scripts Panel“. Diesen öffnen wir nun einfach mit einem Doppelklick und kopieren die Datei „highlightGrep.jsx“ hinein. Fertig. Das Skript erscheint nun in der Benutzer-Kategorie und lässt sich mit einem Doppelklick starten.
Die Vorteile erklärt uns Roland Dreger auf seiner Website so:
Vorteile gegenüber der »Suchen/ersetzen«-Funktion von InDesign:
- Fundstellen werden hervorgehoben
- Anzahl der Treffer wird ermittelt
- Suche kann (unter anderem) nur auf Tabellen eingeschränkt werden
- Übereinstimmungen der Suche können in die Zwischenablage kopiert werden
Nicht vergessen: Den Live-Modus im Dialog unten links auswählen!
Weitere GREP-Skripte
Weitere Skripte zum Thema GREP (von Peter Kahrel; engl.) können auf der Website creativepro.com gefunden werden. Hier der Link. Praktisch hier ist z. B. der Skript-Editor, mit dem es viel übersichtlicher ist, umfangreiche GREP-Ausdrücke zu definieren.
Beispiel:
(?<=d)s(?=Jan(.|uar)|Feb(.|ruar)|Mär(.|z)|Apr(.|il)|Mai|
Jun(.|i)|Jul(.|i)|Aug(.|ust)|Sep(.|tember)|Okt(.|ober)|
Nov(.|ember)|Dez(.|ember))
Es gehört schon eine gehörige Portion Gehirngymnastik dazu, um zu verstehen, was dieser Ausdruck sucht:
Leerzeichen, denen eine Ziffer vorangestellt ist und auf die der Name eines Monats oder dessen Abkürzung folgt. Es ist ein Alptraum, irgendetwas in einem solchen Ausdruck zu ändern. Das ist erheblich einfacher, wenn der Skript Editor eingesetzt wird.
Wird nach dem Download das Skript als Text in einem neuen Browser-Fenster angezeigt, gehst du so vor: Text kopieren und in einen Texteditor einfügen.
Den Dateinamen kannst du jetzt umbenennen. Nun musst du nur noch die Dateierweiterung von „txt“ nach „jsx“ ändern. Über eine kleine Spende freuen sich Peter Kahrel und auch Roland Dreger.
