INTL 3:770/1 3:770/3   
   REPLYADDR address@is.invalid   
   REPLYTO 3:770/3.0 UUCP   
   MSGID:  0f79b908   
   REPLY:  37b99991   
   PID: SoupGate-Win32 v1.05   
   Russel,   
      
   > I suppose you could use a command like this just to try it out   
   > briefly with no need for further typing:   
   >   
   >  vcgencmd display_power 0;sleep 10;vcgencmd display_power 1   
      
   That would indeed be a way to test if vcgencmd command works.   
      
   Though the problem is its suggested use, not the command itself.   
      
   >> 1) It looks like that shutting- and powering-down the RPi should   
   >> be "rather effective" in stopping the HDMI output.   
   >   
   > Well, yes, there is that. :-)   
      
   Although you did not mention it, I take it you picked up on that just   
   disabeling HDMI output doesn't cause my TV to switch back to its previous   
   input.  Which means that that vcgencmd doesn't seem to be the sought-for   
   solution (and nullifies the need to test it).   
      
   Regards,   
   Rudy Wieser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: Agency HUB, Dunedin - New Zealand | Fido<>Usenet Gateway (3:770/3)   
   SEEN-BY: 1/19 16/0 19/37 80/1 90/1 105/81 106/201 123/130 129/305   
   SEEN-BY: 142/104 153/757 7715 203/0 218/700 840 220/70 221/1 6 242   
   SEEN-BY: 221/360 226/17 30 100 227/114 229/110 111 114 200 206 300   
   SEEN-BY: 229/317 400 426 428 470 550 616 664 700 230/0 240/5832 266/512   
   SEEN-BY: 267/800 280/5003 282/1038 291/111 292/854 301/1 310/31 320/119   
   SEEN-BY: 320/219 319 2119 322/757 762 325/304 335/364 341/66 342/200   
   SEEN-BY: 396/45 423/81 460/58 633/280 712/848 770/1 3 100 330 340   
   SEEN-BY: 772/210 220 230 5020/400 5053/58 5058/104 5075/35   
   PATH: 770/3 1 218/840 221/6 1 320/219 229/426