I have a little python script to do a similar thing: https://github.com/larkery/nix-session/blob/master/scripts/displays https://github.com/larkery/nix-session

I have a little python script to do a similar thing: https://github.com/larkery/nix-session/blob/master/scripts/displays https://github.com/larkery/nix-session/blob/master/scripts/d... This remembers the randr state that's associated with plugged in displays by their EDID and the ACPI lid switch. When you change the randr state, it remembers it, and when you change what displays are connected or open the laptop lid, it loads a previously remembered state if there is one. The state saving and loading is done by arandr, which handles the resolution, position, and choice of primary output.