Configurações de exibição não serão salvas: problema XRandR2

Question

Estou rodando o SparkyLinux v5 Nibiru (Gameover Edition) em um laptop Toshiba

Eu anexei a porta HDMI a uma televisão Insignia. Quando tentei modificar as configurações, ocorreu o seguinte erro:

GDBUS: Erro: org.freedesktop.DBus.Error.ServiceUnknown: O nome org.cinnamon.SettingsDaemon.XRANDR_2 não foi fornecido por nenhum arquivo .service

Consegui que o monitor secundário funcionasse reiniciando a máquina, mas não consegui salvar as configurações (em particular, quero espelhar as exibições). Dá o mesmo erro. Existe um arquivo de configuração que eu possa editar manualmente ou algo que eu possa fazer no terminal, já que o programa de configurações da tela não parece funcionar?