2014-09-17 10:39:22 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# Build xsettingsd.local
|
|
|
|
cp ~/.config/awesome/xsettingsd ~/.config/awesome/xsettingsd.local
|
2015-07-23 09:02:08 +02:00
|
|
|
if [ -f ~/.config/awesome/xsettingsd.dpi ]; then
|
|
|
|
dpi=$(cat ~/.config/awesome/xsettingsd.dpi)
|
|
|
|
else
|
|
|
|
dpi=$(xdpyinfo | awk '$1 ~ /resolution:/ { print $2 }' | sed 's/x.*//')
|
|
|
|
fi
|
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
|