Configurable download timeout for remote-ssh (wget/curl)

Feature request for product/service

Anysphere Extensions (Remote SSH, Python, Dev Containers, WSL, C/C++/C#)

Describe the request

Hi team,
I’d like to request a new setting in the anysphere.remote-ssh extension to let users configure the timeout used when downloading Cursor components on remote hosts via wget/curl.

In slower or less stable networks (corporate proxies, intermittent packet loss), the current default timeout can be too short and may cause remote setup/download to fail.

Proposal

Add a user setting, e.g.:
remote.SSH.cursorDownloadTimeout
or cursor.remoteSsh.downloadTimeoutSec
Type: integer (seconds)
Default: keep current behavior for backward compatibility
Scope: timeout applied to remote wget/curl download step(s)

Benefits

Higher success rate for first-time remote setup
Fewer retries/manual troubleshooting
Better reliability in enterprise/proxy/slow-network environments

Thanks for considering this feature.

Operating System (if it applies)

Linux