From 1c0a61931544c43f2dbffd81b628f2aae8a33cd1 Mon Sep 17 00:00:00 2001 From: Andrew Scheller Date: Thu, 19 Jun 2025 16:14:51 +0100 Subject: [PATCH] Minor README typos --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index c48fd44..c156f2b 100644 --- a/README.md +++ b/README.md @@ -112,7 +112,7 @@ For more details on debugging with GDB, see the [GDB docs](https://sourceware.or ## Multiple Terminals -When debugging or viewing serial output, you might want multiple programs open different terminals, as they all need to run at the same time. +When debugging or viewing serial output, you might want multiple programs open in different terminals, as they all need to run at the same time. On Raspberry Pi OS Lite, you can switch between different terminals with Alt+F1,F2,F3,F4 etc. @@ -207,7 +207,7 @@ cd pico-examples Build them, replacing `$board` with the pico board you are using ```bash -cmake -S . -B build_$board =GNinja -DPICO_BOARD=$board -DCMAKE_BUILD_TYPE=Debug +cmake -S . -B build_$board -GNinja -DPICO_BOARD=$board -DCMAKE_BUILD_TYPE=Debug cmake --build build ```