From: address@is.invalid   
      
   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: you cannot sedate... all the things you hate (1:229/2)