doc/media: document how to use the font commands

These commands are run on the command line, not a user script, so explain how to access it.
This commit is contained in:
Laurens Valk
2020-04-24 12:29:14 +02:00
parent 3a2980d3b9
commit 17731a024f
+3 -3
View File
@@ -1450,9 +1450,9 @@ Fonts
Behind the scenes, Pybricks uses Fontconfig_ for fonts. The Fontconfig
command line tools can be used to explore available fonts in more
detail.
Example::
detail. To do so, go to the ev3dev device browser,
right click on your EV3 brick, and click *Open SSH Terminal*. Then you can
enter one of these commands::
# List available font families.
fc-list :scalable=false:dpi=119 family