Y la fuente [[https://robey.lag.net/2010/06/21/mensch-font.html|Mensch]] la bajamos directamente al directorio ''%%~/.local/share/fonts%%''
Y la fuente [[https://robey.lag.net/2010/06/21/mensch-font.html|Mensch]] la bajamos directamente al directorio ''%%~/.local/share/fonts%%''
Puede ser conveniente instalar el paquete //font-manager// (''%%sudo apt install font-manager%%''), sólo lo uso para visualizar fuentes, no para hacer configuración.
Otras fuentes muy interesantes
* [[https://github.com/ryanoasis/nerd-fonts|nerd-fonts]] (instalada la 3270 completa)
@ -140,6 +140,14 @@ Instalamos algunas fuentes desde los orígenes de software:
sudo apt install fonts-noto</pre>
sudo apt install fonts-noto</pre>
Y la fuente [https://robey.lag.net/2010/06/21/mensch-font.html Mensch] la bajamos directamente al directorio <code>~/.local/share/fonts</code>
Y la fuente [https://robey.lag.net/2010/06/21/mensch-font.html Mensch] la bajamos directamente al directorio <code>~/.local/share/fonts</code>
Puede ser conveniente instalar el paquete ''font-manager'' (<code>sudo apt install font-manager</code>), sólo lo uso para visualizar fuentes, no para hacer configuración.
Otras fuentes muy interesantes
* [https://github.com/ryanoasis/nerd-fonts nerd-fonts] (instalada la 3270 completa)