ffmpeg wird von zsh beendet

Beim Aufruf von ffmpeg im Terminal kam es unter macOS Big Sur auf einem M1-Mac zu folgender Fehlermeldung:

zsh: killed     ffmpeg

Installiert war ffmpeg über den Paketmanager Homebrew. In diesem Fall half es ffmpeg mitsamt seiner Abhängigkeiten wieder neu zu installieren:

rew reinstall $(brew deps ffmpeg) ffmpeg

Nach dieser Prozedur konnte ffmpeg im Terminal wieder normal benutzt werden.

Zeilenendung bestimmer Dateitypen korrigieren

Wer die Zeilenenden einer Datei von Windows-Zeilenenden zu Unix-Zeilenenden korrigieren möchte, der kann, neben einem Editor, hierfür auch das Kommandozeilenwerkzeug dos2unix benutzen. Sollen mehrere Dateien eines Ordners umgewandelt werden, kann das ganze mit dem Befehl find kombiniert werden:

find . -name '*.groovy' -type f -print0 | xargs -0 dos2unix

Über die Filterfunktion des Befehls find, werden in diesem Fall nur Dateien mit der Endung groovy gefunden und anschließend die entsprechenden Zeilenendungen umgewandelt.

Schaltplaneditor im Browser

Auf der Suche nach einem einfachen Schaltplaneditor habe ich vor ein paar Tagen Circuit Diagram entdeckt. Mithilfe des Editors ist es schnell möglich Schaltpläne zu zeichnen; auch Komponenten wie Arduinos und Co werden mitgeliefert. Der Editor läuft vollständig im Browser.

Der Schaltplaneditor mit einem Schaltplan

Die fertige Schaltung kann in unterschiedliche Formate exportiert werden. Zu finden ist der Editor unter circuit-diagram.org. Der Editor ist unter der GPL in der Version 2 lizenziert und damit freie Software. Der Quellcode kann über GitHub bezogen werden.

Probleme mit dem Upload von SVG-Dateien unter WordPress

Medien können über die Medienverwaltung unter WordPress hochgeladen werden. Dabei findet eine Überprüfung statt, ob ein bestimmter Dateityp erlaubt ist. Schlägt diese Überprüfung fehl, so wird dies mit einer entsprechenden Fehlermeldung quittiert.

Der Upload ist fehlgeschlagen

Die entsprechende Meldung:

Dieser Dateityp ist aus Sicherheitsgründen leider nicht erlaubt.

bzw. das Verhalten, welches zu dieser Meldung führt, kann dabei über einen Parameter in der Datei wp-config.php deaktiviert werden:

define( 'ALLOW_UNFILTERED_UPLOADS', true );

In der Theorie werden hiermit alle Uploads in WordPress zugelassen. Dies sollte natürlich nur getan werden, wenn dies explizit gewünscht ist. Daneben existieren Plugins, um nur bestimmte Dateien zum Upload zuzulassen.

In meinem Fall konnte ich eine spezielle SVG-Datei, trotz aktivierter ALLOW_UNFILTERED_UPLOADS-Option, allerdings immer noch nicht hochladen. Das Problem ist hier, das bei SVG-Dateien Sicherheitsbedenken bestehen, da es sich um XML-Dateien handelt; genaueres kann im entsprechenden Ticket nachgelesen werden.

In meinem Fall half in es der SVG-Datei folgenden Header:

<?xml version="1.0" encoding="utf-8"?>

an den Anfang der Datei zu setzen; anschließend konnte die entsprechende SVG-Datei hochgeladen und verarbeitet werden.

Mittels FFmpeg Videos aus Bilderreihen zu machen

Aus einer Bilderreihe wollte ich vor einigen Tagen ein Zeitraffer-Video erstellen. Zur Umsetzung auf der Kommandozeile entschied ich mich für FFmpeg. Dort sieht der entsprechende Aufruf wie folgt aus:

ffmpeg -start_number 1 -i img_%d.jpg -vcodec mpeg4 video.mp4

In diesem Fall ist die Bilderreihe in fortlaufenden Bilddateien nach dem Schema img_1.jpg, img_2.jpg usw. abgelegt. Das fertige Video wird in der Datei video.mp4 gespeichert. Die Startnummer kann frei gewählt werden; die Nummerierung muss hierbei ununterbrochen sein, damit die komplette Bilderreihe im Video landet.