薄型ファン
https://www.amazon.co.jp/dp/B0DHG32MGQ/
https://www.amazon.co.jp/dp/B0B45D84Z6/
120x120x25, x15ファンは多いが、12mm厚のものもあるのね。1mm、2mmが問題ならこれもアリ?
HDMIセレクター
4Kのを買ってきた。グリーンハウス製で3000円くらい。
入力3、出力1,USB給電、手動切り替え、リモコン付き。
入力数
多いほど高価
出力数
通常 n:1か1:n。双方向もある。n:mは特殊用途っぽいのでここでは考えない。
給電
ACアダプタものと、USBものがある。USB-DCケーブルは一般的でないので手持ちの小型USB-ACアダプタを使えるUSBモノにした。
4K
8K対応だと倍高い。あ、ゲーミング用だと2K画面でも8K品質が要るのか。
手動切り替え
自動切換えだと、スリープした機器に引っ張られアクティブにしたい機器に切り替えができない、引っ張られるケースがあるので「手動切り替え」を大書してる製品があるのか
ケーブル
ピッグテール、ケーブル付き、ケーブル無し、各種。お好みのものを。
リモコン付きモニタは選択肢が限られ、複数入力のモニタも手動切り替えはメニューの奥でかなり面倒。そんなわけでセレクタが正解なのかな。