Consegui instalar o perfil novamente usando colormgr
. Eu encontrei o dispositivo com
colormgr get-devices
e o perfil com
colormgr get-profiles
(Eu acho que a DisplayCal registrou isso lá). Então eu poderia adicionar com
colormgr device-add-profile <DEVICE> <PROFILE>
Isso fez com que ele aparecesse na caixa de diálogo Configurações> & gt ;,