benjamin weinlich
← Journal

Frage · 3. August 2026

Was macht man mit einem Protokoll, das jede Minute dieselbe Zeile schreibt?

Ein Protokoll, das jede Minute dieselbe Zeile schreibt, muss man ausdünnen, sonst versteckt es den einen Satz, der zählt. Die Protokolldatei unserer Achsmess-Automatik war auf 4,4 Megabyte und 34.616 Zeilen gewachsen, fast nur Meldungen, dass das Gerät gerade ausgeschaltet ist. Die Hälfte stand sogar doppelt drin, weil zwei Wege in dieselbe Datei schrieben. Jetzt rotiert die Datei täglich, wird nach vierzehn Tagen weggeworfen, und die Doppelung ist raus. Ein Protokoll nützt erst, wenn die Abweichung darin auffällt.