[MPlayer-users] tv_set_channel and lirc

[ephemeron at softhome.net]

I have my remote working with mplayer. But if I want to tune in
to, say, channel 76, I have to press the CH_UP button dozens of
times to get to the desired channel. (Re)Reading the mplayer man
page I found that there's a tv_set_channel command. But I don't
know how to use it beyond hard-coding the 7th channel of my
channels= list to the remote's channel "7". Is there a way to
simply press "7" "6" "Enter" on the remote to get channel 76?

My present mplayer_lirc.conf:

begin
     button = POWER
     prog = mplayer
     config = quit
end

begin
    button = RECALL
    prog = mplayer
    config = tv_last_channel
end

begin
     button = DISPLAY
     prog = mplayer
     config = osd
end

begin
    button = CH_UP
    prog = mplayer
    config = tv_step_channel 1
    repeat = 1
end

begin
    button = CH_DOWN
    prog = mplayer
    config = tv_step_channel -1
    repeat = 1
end

begin
    button = FULLSCREEN
    prog = mplayer
    config = vo_fullscreen
end