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
As described in #4035 it is definitely possible to run PlatformIO under Docker, but with some quirks. You can open the PIO Home directly in code-server, if you go to the Ports tab and hit Preview in Editor for the forwarded port URL, but if you use the Quick Access menu it does not work, because it tries to open the PIO URL without taking the Docker base server path http(s)://<serv.er.name>:<docker_port>/proxy/<pio_port>/ into account.
If this base URL would be configurable, than the integration should work again, even under Docker.
Regards,
Holger
The text was updated successfully, but these errors were encountered:
Hi!
As described in #4035 it is definitely possible to run PlatformIO under Docker, but with some quirks. You can open the PIO Home directly in code-server, if you go to the
Ports
tab and hitPreview in Editor
for the forwarded port URL, but if you use theQuick Access
menu it does not work, because it tries to open the PIO URL without taking the Docker base server pathhttp(s)://<serv.er.name>:<docker_port>/proxy/<pio_port>/
into account.If this base URL would be configurable, than the integration should work again, even under Docker.
Regards,
Holger
The text was updated successfully, but these errors were encountered: