xsettings: when using display port adapter, keep HiDPI settings too

In fact, we should detect we have some videoprojector and do that.
This commit is contained in:
Vincent Bernat 2016-04-17 19:07:04 +02:00
parent cb7763f070
commit 01d65673ca

View file

@ -6,9 +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' | \
sort | tr '\n' ':') in
zoro,eDP1:) dpi=144 ;;
zoro,eDP1:HDMI2:) dpi=144 ;;
zoro,eDP-1:) dpi=144 ;;
zoro,eDP-1:HDMI-2:) dpi=144 ;;
zoro,eDP-1:DP-1:) dpi=144 ;;
*) dpi=96 ;;
esac