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=`dvbsnoop -N 1 0x14 | grep 'UTC_time' | cut -c27-45`

date --utc --set="${UTC}"

}}}

In order for this to work you need:

 * 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)