新しく入れ替えたサブディスプレイの自動入力切り換えが上手く動かないので、最近サブディスプレイを使うときはHDMIセレクターとサブディスプレイ両方の電源をON/OFFしてて、面倒。サブディスプレイをあまり使わない運用になってきている。
思考の /dev/null