A resposta acaba sendo trivial: esta é a minha experiência.
A linha superior da janela do terminal tem uma opção Edit
, que abre um menu curto e a seleção da opção Profile preferences
abre outra janela com várias guias. Use a guia Colours
para selecionar o tema desejado. A configuração é preservada ao reiniciar o computador.
Talvez eu devesse ter analisado isso antes de postar minha pergunta, mas espero que isso seja útil para outra pessoa na mesma situação.