Se você não encontrar um atalho embutido simples, você pode fazer o que eu faço no Xubuntu e usar xrandr para mudar a saída do monitor. Tudo isso pode parecer uma dor no rabo, mas eu descobri que ele é extremamente confiável ao longo dos anos (especialmente se comparado a confiar na troca automática de telas).
$ sudo apt-get install xrandr
Portanto, na minha configuração, este comando muda para uma saída espelhada:
xrandr --output HDMI1 --mode 1920x1080 --pos 0x0 --rotate normal --output VIRTUAL1 --off \
--output DP1 --off --output eDP1 --mode 1920x1080 --pos 2040x0 --rotate normal \
--same-as HDMI1 --output VGA1 --off
E este muda para o desktop estendido:
xrandr --output HDMI1 --mode 1920x1080 --pos 0x0 --rotate normal --output VIRTUAL1 --off \
--output DP1 --off --output eDP1 --mode 1920x1080 --pos 2040x0 --rotate normal \
--output VGA1 --off
Obviamente, esses comandos são muito longos para serem digitados, então os salvei em scripts chamados display_TV_mirror.sh e display_TV_extend.sh e, em seguida, vinculo uma tecla de atalho a cada script. No Ubuntu regular, eu acho que você pode definir os atalhos em Configurações do Sistema - > Teclado - > Atalhos . Eu uso para separar scripts com duas teclas de atalho separadas, mas você pode facilmente combiná-los em um switch com alguma lógica de alternância.
Nota: Para descobrir o comando exato que você deseja usar para o xrandr, é provavelmente mais fácil usar arandr no início, que é basicamente uma interface gráfica para o xrandr.
$ sudo apt-get install arandr
$ arandr
Depois, você pode configurar a configuração desejada, salvá-la em um arquivo em algum lugar e, em seguida, verificar esse arquivo para descobrir qual comando xrandr é necessário para obter a configuração desejada.