Also ich hab es so gelöst:
Das reine Aufnehmen auf ein USB-Medium mach ich mit unserem Receiver:
Xoro HRS 8500, vorher hab ich noch eine aktuellere Firmware draufgespielt (USB-Stick mit dem Xoro formatiert und dann die Updatedatei von der Xoro-Website draufgespielt - einfacher gehts nicht)
-> da FAT32 macht der Receiver Aufnahmen in 2GB-Stücken im ts-Format.
Die Schnitte sind erste Sahne und lassen sich einfach wieder zusammensetzen. Aber da ich die Files alle mit dem vlc-player samt codec-pack abspiele, stört mich das Format nicht. Auch die Teile folgen beim Schauen sauber aufeinander.
HD (in 720p - mehr wird ja eh net ausgestrahlt) nimmt er auch auf. Super Qualität!
Timeshift funktioniert natürlich auch - mit Stick / USB-Platte (vorformatiert!)
Das streamen über Netzwerk und von Festplatte abspielen übernimmt mein Fernseher. Der
Samsung LE46C650. Der lässt mir bei den Formaten einfach keine Wünsche offen.
Auch beim Fernseher hab ich schnell noch ein Firmware-Update gemacht (gleicher Vorgang wie beim Receiver)
Das Streamen geht übers Netzwerkkabel.