abra seu terminal e digite como xrandr , então ele mostrará qual é a resolução mínima, máxima, atual e com alguns índices.
de lá, uma lista de exibição de resolução será mostrada para você, então escolha qual é a resolução desejada da tela.
para a primeira resolução, dê como xrandr -s 0 e para a segunda resolução, dê como xrandr -s 1 . assim você pode escolher qual resolução exata você quer.
espero que ajude. tudo de bom.