Launch VS Code and do not connect the Pynq through remote ssh connection.
Make sure bottom left of VS code looks like this (doesnt show “SSH: 10.43.0.1”)

Note no SSH in bottom left
If it is connected to the Pynq, open a new VS Code window (File → New Window) to disconnect
Install SSH FS extension
While still in the extension listing, click the gear icon and select settings

Click on any “Edit in settings.json”
Replace the contents of the opened file with
{
"telemetry.telemetryLevel": "off",
"sshfs.configs": [
{
"name": "pynq",
"host": "10.43.0.1",
"username": "student",
"root": "/home/student",
"label": "pynq",
"password": "student"
}
]
}
Save the file (ctrl+s / cmd+s)
Connect the Pynq and wait for green light as usual
Open SSHFS menu by selecting this icon in the left toolbar

click the Add as Workspace folder

Go back to files (Explorer tab) and you should see your pynq’s files


Right click the folder you want to navigate to (e.g. libpynq…) and click Open remote SSH terminal
right clicking a file won’t show this option
Always make sure you’re running commands in the pynq and not your laptop by looking for “student@” at start of line
an alternative way to open terminal on pynq is the open remote ssh terminal button in configurations
