Comment enregistrer un flux vidéo à partir d'une entrée hdmi?

J'ai donc essentiellement un ordinateur portable (qui n'a qu'une sortie hdmi, aucune entrée possible) et un bureau (typique, mais le port hdmi peut recevoir une entrée), et je me suis dit que s'il était possible d'enregistrer sur le bureau, tout ce qui serait transmis si je le connectais à l'ordinateur portable.

Ma première pensée a été ffmpeg mais, alors que j'ai lu la plupart de la documentation, et que j'ai l'impression que l'enregistrement à partir de /dev/video * serait possible, je ne pense pas que cela puisse fonctionner sans appareil réel / avec juste un simple câble hdmi reliant les deux machines, n'est-ce pas?

Tldr, vous souhaitez enregistrer l'entrée de la sortie hdmi d'un ordinateur portable vers une entrée hdmi sur un ordinateur de bureau, avec un simple câble hdmi reliant les deux.

À côté de ffmpeg, je n'ai pas beaucoup d'idée sur la façon de le faire. Voici un dessin approximatif que j'ai fait pour l'illustrer