Dejavu Sans Mono Nerd (version 3.2) does not respect Font Awesome 4

[anthony-S93]

Dejavu Sans Mono Nerd (version 3.2) does not respect Font Awesome 4

[Finii]

I guess you should make the Font Awesome 4.0 icon file the prefereed one in your fontconfig.

If you use the eye-slash (F070) in some terminal or whatever:

• If it's in the current font it will be used (e.g. DejaVu Nerd Font)
• If it's not in the current font some other ('random') font that has a glyph at that codepoint is used
  That can be especially inconsistent (some apps using the Nerd Font, some the Font Awesome 4 font

maybe something like

<fontconfig>
  <alias>
    <family>DejaVuSansMono</family>
    <prefer><family>Font Awesome 4</family></prefer>
  </alias>
</fontconfig>

(Well, I do not know the family name of your FA-4 font.)

Edit:
Fontconfig conf is usually in /etc/fonts/conf.d/ I guess.

[Finii]

The video is indeed strange.

The difference seems to be that the glyph above is bold while the one you paste is regular.
In your terminal you can select different fonts for both.
If the glyph is in neither (you later say you have DejaVuSansMono for these, which will be DejaVuSansMono-Regular and DejaVuSansMono-Bold - two different fonts from a fontconfig point of view. Both do not have the glyph and for both some (random) substitution font is individually selected. And that is different. After a reboot that might change.

That should in principle we fixed by the fontconfig above. Just put that into some new text file in the mentioned directory and name the file like the others (number then some text and .conf).

Edit: Highlight 'individually'

[anthony-S93]

I guess you should make the Font Awesome 4.0 icon file the prefereed one in your fontconfig.

If you use the eye-slash (F070) in some terminal or whatever:

* If it's in the current font it will be used (e.g. DejaVu Nerd Font)

* If it's not in the current font some other ('random') font that has a glyph at that codepoint is used
  That can be especially inconsistent (some apps using the Nerd Font, some the Font Awesome 4 font

maybe something like

<fontconfig>
  <alias>
    <family>DejaVuSansMono</family>
    <prefer><family>Font Awesome 4</family></prefer>
  </alias>
</fontconfig>

(Well, I do not know the family name of your FA-4 font.)

Edit: Fontconfig conf is usually in /etc/fonts/conf.d/ I guess.

Thank you for the response. It turns out that you are on the right track. Adding a font configuration does indeed resolve the issue.