A digitação de xrandr --gamma 1:1:1 provavelmente corrigirá o problema. Isso deve funcionar em qualquer sistema de exibição baseado em X11.
Meu monitor parece ter um tom ligeiramente avermelhado ao usar a entrada DVI (é um LCD, não um CRT). Na entrada VGA eu posso ajustar as cores, mas não em DVI. No OSX / Windows, o que eu faria é criar um perfil de cor personalizado para essa exibição com configurações de gamma / etc alteradas, mas não consigo descobrir como fazer isso no Linux.
Existe alguma maneira de alterar o perfil de cores no linux (com exceção de comprar hardware de calibração de cores e usar o dispcalgui)?