You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-1Lines changed: 1 addition & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -66,7 +66,7 @@ This command installs all of the necessary tools, including but not limited to:
66
66
This extension provides the following settings:
67
67
68
68
*`raspberry-pi-pico.cmakePath`: Specify a custom path for CMake.
69
-
*`raspberry-pi-pico.python3Path`: Specify a custom path for Python 3.
69
+
*`raspberry-pi-pico.python3Path`: Specify a custom path for Python 3_(machine scoped)_.
70
70
*`raspberry-pi-pico.ninjaPath`: Specify a custom path for Ninja.
71
71
*`raspberry-pi-pico.gitPath`: Specify a custom path for Git.
72
72
*`raspberry-pi-pico.cmakeAutoConfigure`: Provide a GitHub personal access token (classic) with the `public_repo` scope. This token is used to check for available versions of the Pico SDK and other tools. Without it, the extension uses the unauthenticated GitHub API, which has a lower rate limit and may lead to restricted functionality if the limit is exceeded. The unauthenticated rate limit is per public IP address, so a token is more necessary if your IP is shared with many users.
0 commit comments