#!/bin/bash
hdmi_scale=1.8
xrandr \
    --output DP-2 \
    --mode 3840x2160 \
    --pos $(echo "(1080*$hdmi_scale)/1" | bc -q)x$(echo "(1920*$hdmi_scale-2160)/1" | bc -q) \
    --primary \
    --rotate normal \
    --scale 1x1 \
    --output HDMI-0 \
    --mode 1920x1080 \
    --scale ${hdmi_scale}x${hdmi_scale} \
    --pos 0x0 \
    --rotate right