Comment définir la police Monaco dans le terminal GNOME?
J'utilise Ubuntu 12.04 LTS. J'ai installé la police Monaco de ici . La police est visible dans le gestionnaire de polices. Je peux aussi définir la police dans GVim.
Cependant, si j'essaie de définir cette police dans le terminal GNOME, ce n'est pas possible. Il n'est pas répertorié dans Édition> Préférences de profil> Police.
Je faisais face au même problème avec 12.04. Supprimez les polices Monaco précédemment installées. Installez les polices Monaco disponibles ici et réessayez.
Cela a fonctionné pour moi.