Dateiendungen suchen & ersetzen

[miesepeter]

Wenn ihr die Bilder bereits konvertiert habt (also in deinem Fall nach GIF), dann böte sich bei sehr vielen Bildern an, die extrahierte XML-Datei mit einem Editor zu bearbeiten.

Vorgehensweise:

• Datei sicherheitshalber kopieren; eine davon umbenennen nach "ZIP".
• Mit einem Entpacker öffnen und Content.xml bearbeiten.
• JPG durch GIF ersetzen.
• Und wieder umgekehrt nach odt zurückführen.

Ist nicht gerade elegant, kenne aber keinen anderen Weg.