Saya menginstal Hack Regular Nerd Font Complete dengan mendownload file .ttf disini. Saya membuka file .ttf secara langsung dan mengklik "instal", dan itu memberi tahu saya bahwa font telah diinstal. Namun, saya tidak dapat menemukannya di profil terminal saya, dan akibatnya powerlevel9k saya tidak berfungsi dengan baik dengan ikon-ikon itu. Bagaimana cara memperbaiki masalah?
Saya menggunakan Gnome-Terminal di Ubuntu 18.04 LTS.
Jawaban yang Diterima:
Jendela Preferensi Terminal GNOME (mulai versi 3.28, dikirimkan oleh Ubuntu 18.04) hanya menawarkan font monospace kepada Anda. Mungkin perlu penyelidikan lebih lanjut mengapa font khusus Anda tidak diyakini sebagai monospace.
Anda dapat mengatur font apa saja menggunakan dconf (mis. di dconf-editor ), di bawah /org/gnome/terminal/legacy/profiles:/:<profile-id>/font .