From c2b6a8de3e15fa66d48a373b3504fcebf12d905b Mon Sep 17 00:00:00 2001 From: Riku Isokoski Date: Sun, 21 Aug 2022 14:50:09 +0300 Subject: Fix markdown format with autoformatter (#1284) --- doc/buildWithVScode.md | 25 ++++++++++--------------- 1 file changed, 10 insertions(+), 15 deletions(-) (limited to 'doc/buildWithVScode.md') diff --git a/doc/buildWithVScode.md b/doc/buildWithVScode.md index 48b8923f..8e136511 100644 --- a/doc/buildWithVScode.md +++ b/doc/buildWithVScode.md @@ -26,27 +26,22 @@ We leverage a few VS Code extensions for ease of development. Cortex-Debug is only required for interactive debugging using VS Codes built in GDB support. - - ## VS Code/Docker DevContainer The .devcontainer folder contains the configuration and scripts for using a Docker dev container for building InfiniTime -Using the [Remote-Containers](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) extension is recommended. It will handle configuring the Docker virtual machine and setting everything up. +Using the [Remote-Containers](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) extension is recommended. It will handle configuring the Docker virtual machine and setting everything up. -More documentation is available in the [readme in .devcontainer](.devcontainer/readme.md) +More documentation is available in the [readme in .devcontainer](.devcontainer/readme.md) ### DevContainer on Ubuntu -To use the DevContainer configuration on Ubuntu based systems two changes need to be made: - -1. Modify the file ``.devcontainer/devcontainer.json`` and add the argument ``"--net=host"`` to the ``"runArgs"`` parameter making the line look like this: -`` "runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined", "--net=host"], -`` -2. Modify the file ``.vscode/launch.json`` and change the argument of ``"gdbTarget"`` to ``"127.0.0.1:3333"``, making the line look like: -``"gdbTarget": "127.0.0.1:3333",`` -3. To start debugging launch openocd on your host system with the appropriate configuration, for example with a stlink-v2 the command is: -``openocd -f interface/stlink.cfg -f target/nrf52.cfg``. This launches openocd with the default ports ``3333``, ``4444`` and ``6666``. -4. In VsCode go to the Debug pane on the left of the screen and select the configuration ``Debug - Openocd docker Remote`` and hit the play button on the left. - +To use the DevContainer configuration on Ubuntu based systems two changes need to be made: +1. Modify the file `.devcontainer/devcontainer.json` and add the argument `"--net=host"` to the `"runArgs"` parameter making the line look like this: + `"runArgs": [ "--cap-add=SYS_PTRACE", "--security-opt", "seccomp=unconfined", "--net=host"],` +2. Modify the file `.vscode/launch.json` and change the argument of `"gdbTarget"` to `"127.0.0.1:3333"`, making the line look like: + `"gdbTarget": "127.0.0.1:3333",` +3. To start debugging launch openocd on your host system with the appropriate configuration, for example with a stlink-v2 the command is: + `openocd -f interface/stlink.cfg -f target/nrf52.cfg`. This launches openocd with the default ports `3333`, `4444` and `6666`. +4. In VsCode go to the Debug pane on the left of the screen and select the configuration `Debug - Openocd docker Remote` and hit the play button on the left. -- cgit v1.2.3