Habe recordmydesktop länger nicht benutzt und es vermeintlich via K-Menü-Suche gestartet, es gab mehrere gleichnamige Einträge. Habe mich dann gewundert, zunächst einen mir bis dahin unbekannten Abfragedialog zu sehen:
Enter Video Filename
Choose Video Codec (MPEG-1, flv, AVI)
Destination Video
Danach erscheint:
Record My Desktop ist running, saving to ....mpg. Diese Datei wird in der Tat erstellt, ich kann sie in kdenlive problemlos schneiden und rendern.
Irgendwann kam ich auf den Trichter, dass das gar nicht das reguläre recordmydesktop ist, sondern eine fast gleichnamige Anwendung, die ich mit dem Paket kde-services installiert hatte.
kde-services:
Installiert: 1.4-6
Installationskandidat: 1.4-6
Versionstabelle:
*** 1.4-6 0
100 /var/lib/dpkg/status
Dass kde-services das fragliche Paket war, hat mir ein ps -aux | grep record nach Aufruf des Programmes verraten, gefunden wurde /usr/share/applications/ffmpeg_record-my-desktop.sh, und dort steht im Header der Bezug zum Paket.
Ich muss das wohl mal via alien aus einem rpm-Paket gebaut haben:
apt-cache show kde-services
Package: kde-services
Status: install ok installed
Priority: extra
Section: alien
Installed-Size: 1214
Maintainer: pit <pit>
Architecture: all
Version: 1.4-6
[...]
(Converted from a rpm package by alien version 8.88.)
Also lange Rede kurzer Sinn: Vielleicht ist das für dich ein Ansatzpunkt. Ein Debian-Paket scheint es nicht zu geben. Ansonsten wirst du
hier fündig.