res_ext_x=$(echo "$res_external" | sed 's/x.*//')
res_ext_y=$(echo "$res_external" | sed 's/.*x//')
res_int_x=$(echo "$res_internal" | sed 's/x.*//')
res_int_y=$(echo "$res_internal" | sed 's/.*x//')
scale_x=$(echo "$res_ext_x / $res_int_x" | bc -l)
scale_y=$(echo "$res_ext_y / $res_int_y" | bc -l)
Debo decir que por cuestiones mas que nada de pandemia, todavía no
he tenido chance (o tal vez ganas, ya que el hardware lo tengo) de
probar este script, pero en teoría debería funcionar tal como se lo
espera.
Por otra parte, poner las pantallas en espejo parecería ser el modo
por defecto de xrandr, ya que cada vez que prendo mi laptop con el
monitor externo conectado, puedo ver lo mismo en ambos antes de que
el script de multi monitor arranque.
Lo único que haría falta luego de esto es reaplicar el fondo de
pantalla.