blob: 6acff6de8cd2ce7f02f98a48541dd381167e39a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
intern=eDP-1
extern=DP-1
extern2=HDMI-1
if xrandr | grep "$extern disconnected" >/dev/null; then
xrandr --output "$extern" --off --output "$intern" --mode 1920x1080 --auto
# usually, HDMI-1 is a 2560x1440 screen, so cannot be duplicated well
elif xrandr | grep "$extern2 connected" >/dev/null; then
xrandr --output "$extern2" --primary --mode 1920x1080 --auto --same-as "$intern"
else
xrandr --output "$extern" --primary --mode 1920x1080 --auto --same-as "$intern"
fi
echo "xrandr done!"
|
