TV_CHANNELS for terrestrial broadcast, Ireland

Hopefully you should just be able to copy this into local_conf.py and you'll be up and running. Don't forget to configure XMLTV as well.

TV_CHANNELS = [('rte-1.rte.ie', 'RTE1',              'A10'),
               ('C1870.radiotimes.com', 'NET2',              'A7'),
               ('tv3.ie', 'TV3',           'A9'),
               ('tg4.ie', 'TG4', 'A15')
               ]