From 790597bae202cdce9afe2f36062531753e5d144b Mon Sep 17 00:00:00 2001 From: Andrew Walbran Date: Fri, 3 Mar 2023 18:02:46 +0000 Subject: [PATCH] Mention that instructions are for Debian. --- src/welcome-bare-metal.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/welcome-bare-metal.md b/src/welcome-bare-metal.md index 220a3483..fdd562d3 100644 --- a/src/welcome-bare-metal.md +++ b/src/welcome-bare-metal.md @@ -23,3 +23,6 @@ cargo install cargo-binutils cargo-embed echo 'SUBSYSTEM=="usb", ATTR{idVendor}=="0d28", MODE="0664", GROUP="plugdev"' | sudo tee /etc/udev/rules.d/50-microbit.rules sudo udevadm control --reload-rules ``` + +(If you're not using a Debian-based Linux distribution, you'll need to replace the `apt` command +with the appropriate way to install GDB on your OS.)