Creating the new source

If it has all gone ok, type

tivosh add-av.tcl

It will now add a source that YOU have full control over.

Do the 

tivosh

mls /

dumpobj xxxxxx

As above, and make a note of your new source number.

Add the new IR codes

Change to the /var/hack/guide directory if you are not already there.

Add the IR control.

tivosh
source setcodes-3pm.tcl

setcodes

exit

 I've got the standard Canal Digital STB .  If you've got something else, you need to obtain the remote control codes with a Phillips Pronto and use the Pronto Converter to turn it into a script you can use.