Ubuntu 20.04 - терминал гнома не нахождение пользовательского установленного шрифта

Я установил Шрифты Компьютерного фаната на ~/.local/share/fonts, надежда использовать его в моем Терминале. Однако эти шрифты не появляются как опция в меню свойства.

$ ls -Al ~/.local/share/fonts/NerdFonts/
total 15892
-rwxr-xr-x 1 andy andy 3281856 Dec 23 01:25 'Inconsolata Bold Nerd Font Complete Mono.otf'
-rwxr-xr-x 1 andy andy 2179436 Dec 23 01:25 'Inconsolata Bold Nerd Font Complete.otf'
-rwxr-xr-x 1 andy andy 3222768 Dec 23 01:25 'Inconsolata Nerd Font Complete Mono.otf'
-rwxr-xr-x 1 andy andy 2113436 Dec 23 01:25 'Inconsolata Nerd Font Complete.otf'
-rwxr-xr-x 1 andy andy 3281580 Dec 23 01:25 'Inconsolata Regular Nerd Font Complete Mono.otf'
-rwxr-xr-x 1 andy andy 2177972 Dec 23 01:25 'Inconsolata Regular Nerd Font Complete.otf'
-rw-r--r-- 1 andy andy      36 Dec 23 02:04  .uuid

Я попробовал решения в этом ответе напрасно.

$ sudo fc-cache -vf ~/.local/share/fonts
$ chmod 755 ~/.local/share/fonts/*.otf

Я даже перезагрузил.

Все же, когда я открываю предпочтения терминала GNOME, установите флажок "Custom font" и ищите шрифты компьютерного фаната, они не появляются как опция.

Что я должен сделать для использования моего пользовательского шрифта?