mini2020で、ディスプレイ（１７型4;3SXGA)をHDMI端子に、HDMI→DVI変換器で繋いでるんだけど、毎回刺し直さないと画面が表示されない
USB-C→DVI変換器で繋いだ方が無難？
ディスプレイは買い直したいけれど、メモリ買った時点で予算が尽きた…