INTL 3:770/1 3:770/3   
   REPLYADDR address@is.invalid   
   REPLYTO 3:770/3.0 UUCP   
   MSGID:  3708af5b   
   REPLY:  55ada6d5   
   PID: SoupGate-Win32 v1.05   
   Druck,   
      
   >> A "cec-client" you say ?   I'll have to look for it.   
   >   
   > apt install cec-client   
      
   Thank you.    Joerg Walther posted a bit more extensive instructions to   
   install the utils, and as such that part went without a hitch.   
      
   > You'll then need to find the commands change the source, which will depend   
   > on your TV. Pages such as this may help   
   [snip]   
      
   :-) It so happens I found the same page.   
      
   But alas, neither the "as" command nor the "tx" commands I tried caused the   
   TV to switch back to its own tuner.   
      
   Remark: the "scan" as well as the "standby 0" worked fine (meaning: the TV   
   does understand CEC)   
      
   Yesterday I didn't think of it, but today I'm going to switch my DVR on as   
   well (so the TV has two HDMI sources) and see if I can get the TV to switch   
   to the DVR and back- just to make sure the "swich to" command(s?) are   
   actually understood.   
      
   Regards,   
   Rudy Wieser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)   
   SEEN-BY: 90/1 105/81 106/201 129/305 153/757 7715 218/700 840 220/70   
   SEEN-BY: 221/1 6 242 360 226/17 30 100 227/114 229/110 111 200 206   
   SEEN-BY: 229/300 317 400 426 428 470 550 616 664 700 230/0 266/512   
   SEEN-BY: 267/800 280/5003 282/1038 291/111 292/854 2226 8125 301/1   
   SEEN-BY: 310/31 320/219 322/757 335/364 341/66 342/200 396/45 410/9   
   SEEN-BY: 423/81 460/58 633/280 712/848 770/1 3 100 330 340 772/210   
   SEEN-BY: 772/220 230 5020/400 5058/104 5075/35   
   PATH: 770/3 1 218/840 221/6 1 292/854 229/426