From 17731a024fdcb5766368f98ca0da26b7b0d66aeb Mon Sep 17 00:00:00 2001 From: Laurens Valk Date: Fri, 24 Apr 2020 12:29:14 +0200 Subject: [PATCH] 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. --- doc/api/media.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/api/media.rst b/doc/api/media.rst index a093405..697e0f8 100644 --- a/doc/api/media.rst +++ b/doc/api/media.rst @@ -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