paulober
commented
1 year ago I'm sorry to hear that you have problems installing the stubs. Why have you downloaded:
stubs for the RP2 from https://pypi.org/project/micropython-rp2-stubs/#files
https://github.com/paulober/Pico-W-Stub/ is the repo containing the stub files i created to use in this extension. They should be automaticly installed in your VS Code User config dir on linux something like: "/home/bf194/.config/Code/User/Pico-W-Stub" and then you have to run Pico-W-Go > Configure project inside a VS Code workspace folder thought the VS Code command palett.
If you want to use micropy https://github.com/paulober/Pico-W-Stub/blob/main/micropy.md is the right place for the docs. And as it says micropy stubs add "<path to dist/micropy-cli folder in this repo>" is the command to install the stubs into a repo you allready initilaized with micropy. For this you have clone the repo localy like into your Downloads folder or sth like that. Then run micropy stubs add "here you put in the fully path to the folder dist/micropy-cli inside the repo you cloned localy". If you cloned my stubs repo in your downloads folder the command might look like: `micropy stubs add "/home/bf194/Downloads/Pico-W-Go/dist/micropy-cli".
I hope this fixes your problems.
couillonnade
Because the PICO-W-GO extension on VS Code does not work as promised (it does not create stubs), I tried a manual setup to get my stubs:
I followed the docs on https://micropy-cli.readthedocs.io/en/latest/base.html.
First, I installed micropy-cli via pip. following the docs, creating a new project folder is simple:
Step 1: Excecuting micropy init project1 (in the bash terminal of VS code):
So far so good. It comes with 5 features (step 2). I selected them all. Execute a return to the next step:
Step 3: never comes. No selection of target device/firmware (I expected the RP2 stuff here). This is what comes:
Step 4: no Boom. No ready workspace! Still no stubs!
This command created a .micropy/ folder under $HOME, with an empty sybfolder /stubs. No symlinks, no micropy.json file and no project 'project1'
OK, no stubs! But a micropy.log file was created. After line 11 there is an error. What means the 1535 after the http code?
Not giving up yet. I tried the micropy stubs add, but have not any idea what STUB_NAME to select. Again, after some browsing, with the help of google, I found something useful:
https://github.com/paulober/Pico-W-Stub/blob/main/micropy.md
I downloaded stubs for the RP2 from https://pypi.org/project/micropython-rp2-stubs/#files (the built distibution micropython_rp2_stubs-1.19.1.post6-py3-none-any.whl and unpacked in some folder I made.
To add the stubs, one should execute the command: micropy stubs add "<path to dist/micropy-cli folder in this repo>". What does this mean? There is an example, but that is a windows one and I am in Linux.
Is it a site package in Python? I checked this and found something under pyhon 3.9 sitepackages, at least a folder named stubs under the micropy folder. But my active Python is 3.10.2 And that holds no site packages concerning stubs or micropy.
Strange! I give up! Just following instructions is not working.
This string of actions removed me far from my original goal: starting a project in a Pico-Pi, using VS Code 1.71.2
Back to the good old Thonny IDE