2014-09-17 10:39:22 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
2015-07-23 21:42:32 +02:00
|
|
|
# Don't try to guess DPI. For a laptop, we don't want the same DPI as
|
|
|
|
# for an external screen. Just hardcode stuff...
|
2015-08-05 19:09:39 +02:00
|
|
|
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
|
2015-08-05 09:36:26 +02:00
|
|
|
zoro,eDP1:) dpi=144 ;;
|
2016-02-19 10:06:22 +01:00
|
|
|
zoro,eDP-1:) dpi=144 ;;
|
2015-07-23 21:42:32 +02:00
|
|
|
*) dpi=96 ;;
|
|
|
|
esac
|
2015-07-23 13:23:09 +02:00
|
|
|
|
|
|
|
# Build xsettingsd.local
|
|
|
|
cp ~/.config/awesome/xsettingsd ~/.config/awesome/xsettingsd.local
|
2014-11-05 13:40:31 +01:00
|
|
|
echo Xft/DPI $(( $dpi * 1024 )) >> ~/.config/awesome/xsettingsd.local
|
2014-09-17 10:39:22 +02:00
|
|
|
|
|
|
|
# Signal xsettingsd
|
|
|
|
pid=$(xprop -name xsettingsd _NET_WM_PID 2> /dev/null | awk '{print $NF}')
|
2014-09-17 18:02:03 +02:00
|
|
|
if [ x"$pid" = x ]; then
|
2014-09-17 10:39:22 +02:00
|
|
|
xsettingsd -c ~/.config/awesome/xsettingsd.local &
|
2014-09-17 18:02:03 +02:00
|
|
|
else
|
|
|
|
kill -HUP $pid
|
2014-09-17 10:39:22 +02:00
|
|
|
fi
|
2014-11-05 13:40:31 +01:00
|
|
|
|
|
|
|
# Also use xrdb for very old stuff (you know, LibreOffice)
|
|
|
|
echo Xft.dpi: $dpi | xrdb -merge
|