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:00:02 +02:00
|
|
|
dpi=$(cat ~/.config/awesome/xsettingsd.dpi 2> /dev/null)
|
|
|
|
dpi=${dpi:-96}
|
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
|