I'm trying to set up another TiVo for use without guide data and I'm having problems figuring out to how to properly load the IR.TCL file that I generated with Sam Highley's Tivo IR Blaster File Generator.

I followed the instructions in the IR Wiki:
http://www.oztivo.net/twiki/bin/view...ersionAndSetup
http://www.oztivo.net/twiki/bin/view...sionMoreDetail

I'm unclear what command should be used after:

tivosh
source stb.tcl

In one of the above Wikis it says:

9. at a bash prompt enter:
tivosh
source stu100.tcl
stu100

[...]
tivosh
source teac_stb.tcl
loadcodes
However, neither method works. If I enter the name of the ir tcl file without the extension no message is displayed (there are some puts commands at the end of the .tcl file that should be displayed) and the same happens when I use loadcoades afterwards. I also read somewhere else on the Internet that one should enter setcodes instead of loadcodes.
I'm now completely confused. What's the proper way to manually upload an IR TCL file with IR codes? If loadcodes is indeed the correct command how does it "know" which .tcl file to process. And is it normal that no messages are being displayed even though the .tcl file contains puts commands?

Any help is appreciated.