Nas preferências do Terminal, o que a opção “Usar Estilo para” Copiar “Comando” faz?

Ele define o estilo do texto copiado para qualquer perfil de terminal. Você só pode definir para um perfil "Usar estilo para" Copiar "Comando" sob o ícone de engrenagem e, em seguida, o texto copiado da janela do terminal de qualquer perfil usará o estilo do perfil definido.