search

raspberrypi / pico-setup-windows

Old Pico-Setup-Windows installer, this repository is no longer in use.
Apache License 2.0
259 stars 38 forks source link

Setup through proxy #18

Closed SteveCan1 closed 1 year ago

SteveCan1 commented 1 year ago

Hi,

Is it possible to configure the setup executable through a Windows proxy?

Running the pico-windows-setup program from a location requiring a proxy fails, and supporting a proxy could simply setup of the overall environment...

Thanks,

Steve

ndabas commented 1 year ago

Could you elaborate on what exactly fails during the installation? The only thing that's downloaded at install time is Visual Studio Code (because they have frequent updates) and the installer is designed to ignore VS Code download/install failures. If that is the issue, you can just install VS Code yourself manually.

SteveCan1 commented 1 year ago

Hi Nikhil, Thanks for responding to my question.

In fact, the error seems to be limited to the pico-extras cloning/compiling operation.

The screen shows the following:

PicoInstallError

Cloning into 'pico-extras'...

fatal: unable to access 'https://github.com/raspberrypi/pico-extras.git': Failed to connect to github port 443 after 21126 ms: Couldn't connect to server

Everything else seems to have installed fine (including Visual Studio Code), but since the pico-extras did not get properly cloned, the initial build of all the binaries did not occur.

I was able to build them using VSCode and everything seems fine.

Thanks for your help.

Regards,

Steve

ndabas commented 1 year ago

This should be fixed in the latest release. The pico-extras and pico-playground repos are now included in the installer instead of being downloaded later.