HDMI切替器購入は失敗でした。短期的にはそうです。
もともとはサーバである Ubuntu 機とクライアントである Windows10 機で切り替えて使う構想のもと購入したものです。リモートではなくサーバを直にいじる。これによってダイナミックな変更が可能となり、時短できるんじゃないかなあと。
なのに、サーバはレンタルで済ましてしまい、現状では2台の PC がともに Windows10 機です。「正直、1台で済むよね、それ…」ということで、まだ試運転しかしておりません。
でも、来月あたり、やっぱりサーバは必要になるでしょう。だいたいそういうものなのです。それまでカチャカチャ切り替えに慣れておくことにしましょう。