<p>I'm trying to deploy okteto environment on Visual Studio Code to use Remote Development on Kubernetes.</p>
<p>Following the official steps (<a href="https://okteto.com/blog/remote-kubernetes-development/" rel="nofollow noreferrer">https://okteto.com/blog/remote-kubernetes-development/</a>), I executed &quot;Okteto: up&quot; and selected manifest(vscode-remote-go/okteto.yml), but got this error:</p>
<pre><code>Installing dependencies...  
 x  couldn't download syncthing, please try again
</code></pre>
<p>By changing the log level, I also got these logs:</p>
<pre><code>C:\Users\user\AppData\Local\Programs\okteto.exe up -f 'c:\Workspace\...my_project...\vscode-remote-go\okteto.yml' --remote '22100' --loglevel=debug
time=&quot;2021-09-13T14:09:32+09:00&quot; level=info msg=&quot;starting up command&quot;
time=&quot;2021-09-13T14:09:32+09:00&quot; level=info msg=&quot;failed to get latest version from github: fail to get releases from github: Get \&quot;https://api.github.com/repos/okteto/okteto/releases?per_page=5\&quot;: dial tcp: lookup api.github.com: no such host&quot;
Installing dependencies...
time=&quot;2021-09-13T14:09:32+09:00&quot; level=info msg=&quot;installing syncthing for windows/amd64&quot;
time=&quot;2021-09-13T14:09:32+09:00&quot; level=info msg=&quot;failed to download syncthing, retrying: failed to download syncthing from https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip: Get \&quot;https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip\&quot;: dial tcp: lookup github.com: no such host&quot;
time=&quot;2021-09-13T14:09:33+09:00&quot; level=info msg=&quot;installing syncthing for windows/amd64&quot;
time=&quot;2021-09-13T14:09:33+09:00&quot; level=info msg=&quot;failed to download syncthing, retrying: failed to download syncthing from https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip: Get \&quot;https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip\&quot;: dial tcp: lookup github.com: no such host&quot;
time=&quot;2021-09-13T14:09:34+09:00&quot; level=info msg=&quot;installing syncthing for windows/amd64&quot;
time=&quot;2021-09-13T14:09:34+09:00&quot; level=info msg=&quot;failed to upgrade syncthing: failed to download syncthing from https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip: Get \&quot;https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip\&quot;: dial tcp: lookup github.com: no such host&quot;
time=&quot;2021-09-13T14:09:34+09:00&quot; level=info msg=&quot;couldn't download syncthing, please try again&quot;
 x  couldn't download syncthing, please try again
</code></pre>
<p>This environment is behind my corporate proxy, and okteto.exe may not use Windows proxy setting. When I directly enter the URL (<a href="https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip" rel="nofollow noreferrer">https://github.com/syncthing/syncthing/releases/download/v1.10.0/syncthing-windows-amd64-v1.10.0.zip</a>) it can be downloaded using proxy.</p>
<p>Is it possible to use okteto behind proxy?</p>

<p>Using a proxy is not currently supported in the Okteto. We're looking into it though.</p>
<p>For now, a workaround is to manually download the syncthing binary and save it as<code>%HOME%\.okteto\syncthing.exe</code></p>
