Descobri que a execução gnome-display-properties
(pelo menos na versão 10.04) detectará e configurará automaticamente minha resolução com base nos monitores que conectei no momento. Então, posso simplesmente descartá-lo (usando o botão 'Fechar', 'Aplicar' também funciona, mas requer confirmação, com um clique e é desnecessário). Então, adicionei um ícone à minha barra superior e, até agora, foi muito melhor do que redefinir o X, como costumava fazer, e fiquei com preguiça de procurar uma solução com um clique ou mesmo uma solução automática, como o seu script.
Eu tenho um monitor grande no trabalho, mas geralmente apenas uso meu laptop sozinho em casa, então são 2 cliques quando chego ao trabalho pela manhã e 2 quando chego em casa.
Atualizar:
Deveria ter verificado primeiro. Na verdade, não estou usando o driver proprietário no momento e me lembro vagamente disso porque ter efeitos de compiz era menos importante para mim do que não reiniciar o X duas vezes por dia para alternar os monitores. Portanto, minha resposta pode ser completamente inútil para você. Excluirei se alguém puder confirmar isso.