Finalmente pude usar dispcalGUI para perfilar mi monitor en Linux. Ahora, después de haber asignado ese perfil a todo el sistema utilizando Gnome Color Manager (o el cuadro de diálogo de configuración de Xfce Color), hay un cambio visible en la representación en pantalla (incluidas las ventanas abiertas de Gimp).
Una vez hecho esto, ¿también debería entrar en las preferencias de Gimp y habilitar el perfil allí? Hay una configuración de "Modo de operación", que tiene como opción "Pantalla administrada en color" y, debajo, un lugar para asignar un perfil de monitor: incluya una casilla de verificación para "Intentar usar el perfil de monitor del sistema".
¿Debo activar estas opciones y marcar la casilla, o es eso "duplicar" donde no debería estar?
(Si marco la casilla, hay un cambio obvio: los colores se vuelven más brillantes y más saturados. Pero me resulta difícil juzgar a simple vista cuál es más preciso).