blob: ccccda7198ecbc85bfedd8d0cf66341591b19602 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/sh
__hidpi() {
xrdb -merge ~/.Xresources.hidpi
export GDK_SCALE=2
export GDK_DPI_SCALE=0.5
export GDK_SCALE=2
export QT_SCREEN_SCALE_FACTORS=2
export QT_AUTO_SCREEN_SCALE_FACTOR=1
export QT_QPA_PLATFORMTHEME=qt5ct
}
hostname=$(uname -n)
xrandr -s 0
xrdb ~/.Xresources
if [ "${hostname}" = "ws-bare01" ]; then
xrandr --output HDMI-0 --left-of DVI-D-0
fi
if [ "${hostname}" = "ws-xps01" ]; then
xrandr --output eDP1 --mode 3200x1800
echo a
__hidpi
fi
|
