Recentemente, mudei para o Arch Linux do Ubuntu e, para facilitar a troca, instalei os temas GTK usados pelo Ubuntu e mudei para a família de fontes Ubuntu em todo o sistema. No entanto, há uma pequena falha com os relógios na interface do GNOME, de modo que todos os dois pontos :são substituídos por tricolons ⁝, o que está começando a me incomodar bastante.
Isso pode ser causado por uma configuração de localidade definida incorretamente ou é provavelmente um bug que preciso arquivar no GNOME?
Edit 1: instalei a família de fontes Ubuntu ttf-ubuntu-font-familynos repositórios do Arch.