xsettings: when using HDMI output only, keep HiDPI

The HDMI output is used mostly for presentations.
This commit is contained in:
Vincent Bernat 2016-03-30 10:10:31 +02:00
parent 6e5e96d67e
commit cb7763f070

View file

@ -6,7 +6,9 @@ case $(hostname),$(xrandr --current | \
sed -n 's/\([^ ]*\) connected .*[0-9][0-9]*x[0-9][0-9]*+[0-9][0-9]*+[0-9][0-9]* .*/\1/p' | \ sed -n 's/\([^ ]*\) connected .*[0-9][0-9]*x[0-9][0-9]*+[0-9][0-9]*+[0-9][0-9]* .*/\1/p' | \
sort | tr '\n' ':') in sort | tr '\n' ':') in
zoro,eDP1:) dpi=144 ;; zoro,eDP1:) dpi=144 ;;
zoro,eDP1:HDMI2:) dpi=144 ;;
zoro,eDP-1:) dpi=144 ;; zoro,eDP-1:) dpi=144 ;;
zoro,eDP-1:HDMI-2:) dpi=144 ;;
*) dpi=96 ;; *) dpi=96 ;;
esac esac