Okay, started to build the index new again, so that will take a couple of hours.
(But now it seems it has stopped at 95/6787 pages. Beginning was quick (counter incremented every few seconds), but now no change for at least 20 minutes. Hmm...)
The source of the replace plugin seems to be a different.
Yes, the search function also has a different syntax for search patterns. While the BatchEdit plugin accepts more powerful regular expressions, the normal search function only allows for a small set of wildcard patterns, more similar to Google and other web search engines:
https://www.dokuwiki.org/searchMaybe it would be good to be able to use the same search syntax for both, or maybe both kinds for both: allowing an option to switch which syntax to use in both BatchEdit and normal search.
Just an idea for later. Don't know how to do it now.
Hmm... still 95/6787 while building new index. Maybe some error happened and it stopped.
Wie war es beim vorherigen Indizieren?
index gerade fertig geworden. Mal sehen ob die replace-software nun alles findet.
War das auch ein "Rebuild Index", der da erfolgreich bis zum Ende durchgelaufen ist (auch wenn hinterher immer schrittweise noch mehr durch "Update Index" hinzugekommen ist)? Oder ein "Update Index"?
Ist ein "Rebuild Index" jemals erfolgreich bis zum Ende durchgelaufen?
* Moritz Vielleicht war das ja doch keine so gute Idee von mir, noch mal ganz neu zu bauen.