Schenkl<p>Mal eine Frage zu <a href="https://chaos.social/tags/Regex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Regex</span></a>.</p><p>Eins hat ja immer mehrere Optionen, wie Regexen geschrieben werden können.</p><p>Wenn ich jetzt bspw. folgendes matchen will:</p><p>2025-04-03 09:45:52,731 INFO</p><p>Mach ich dann eher A oder B?</p><p>A: ^[0-9]{4}-[0-9]{2}-[0-9]{2}\s+[0-9]{2}:[0-9]{2}:[0-9]{2},[0-9]{3}\s{1}(?P<level>[A-Z]*)</p><p>B: [0-9-:,\s]*(?P<level>[A-Z]*)</p><p>Welche Variante ist denn schneller?<br>Was ist hier besser?</p><p>:BoostOK: :ReplyOK:</p>