xrandrコマンドを何度も打つの辛いので追加．
HDMI1やeDP1は決め打ち．取得する方法あるのかね．