>>946
入力切替なら(この場合の1fはTV)
tx 1f:82:10:00(hdmi1)
tx 1f:82:10:01(hdmi2)
...

で、行ける。
HDMI入力式のアンプとかも似たような感じで。
ONKYOのアンプは
tx 5f:80:12:00:11:00(hdmi1)
tx 5f:80:12:00:12:00(hdmi2)
...
だった。他で使えるかは不明。

こちらの場合はHDMI接続してるけど特にラズパイの入力に切り替わるって事は無いけど何で変わるんだろ?

酔っ払った時に寝る状態まで持ち込みたくてpc/ps3/アンプ/テレビ/パソコンを同時に消せるようにしたら凄い便利になったよ。
CEC+赤外線の組み合わせで正直やりたいことは殆ど可能になった。
因みに更に便利にしたくてesp32-devkitcにも手を出したけど使い道が無かった・・・。