Tvheadend

If your clock is getting out of sync the best thing would be to use an ntp server. But since that require a internet connection I wrote a small script that uses the time table transmitted by the DVB providers instead.

#!/bin/bash

UTC=@/usr/bin/dvbsnoop -N 1 0x14 | /bin/grep 'UTC_time' | /bin/cut -c27-45@
date --utc --set="${UTC}" 

• a DVB card in your computer (obviously).
• dvbsnoop installed.
• rights to change the clock
• to have your bios set to UTC time (and correct timezone in linux)