[Linux] Update xsettings-setup dpi settings

This commit is contained in:
Ivan Malison 2016-11-30 17:19:56 -06:00
parent 802a0d8ce1
commit b40b86d969
No known key found for this signature in database
GPG Key ID: 62530EFBE99DC2F8

View File

@ -2,15 +2,14 @@
dpi="$1" dpi="$1"
if [ -z $dpi ]; then if [ -z $dpi ]; then
# Don't try to guess DPI. For a laptop, we don't want the same DPI as # Don't try to guess DPI. For a laptop, we don't want the same DPI as
# for an external screen. Just hardcode stuff... # for an external screen. Just hardcode stuff...
case $(hostname),$(xrandr --current | \ 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
# imalison-arch,DVI-D-0:HDMI-0:) dpi=144 ;; imalison-arch,DVI-D-0:HDMI-0:) dpi=96 ;;
imalison-uber-loaner,eDP1:) dpi=72 ;; imalison-uber-loaner,eDP1:) dpi=96 ;;
*) dpi=96 ;; *) dpi=96 ;;
esac esac
fi fi