To configure proxy settings in VSCode, you need to modify the configuration file or command line. The specific steps are as follows: 1. Open the settings.json file and add proxy configuration, such as "http.proxy" and "https.proxy"; 2. Use the command line parameter code --proxy-server="your-proxy-server:port" to temporarily set the proxy; 3. For remote development, proxy environment variables must be set on the local and remote servers respectively; 4. You can ignore specific addresses by setting http.proxyBypassList. After correct configuration, the network restriction problem can be solved.

Of course, here are detailed instructions on how to configure proxy settings in VSCode:

If you encounter network problems when using VSCode, such as not being able to install extensions, update software, or connect to a remote development environment, it is most likely that your network environment needs to access external resources through a proxy. At this time, you need to manually configure the proxy settings of VSCode.

VSCode's proxy settings are mainly managed through its configuration files, and are suitable for functions such as extension installation, update checking, and remote development.

1. Set up global proxy configuration (recommended)

VSCode itself does not provide a graphical interface to set up the proxy, but you can configure the proxy by modifying the settings file:

• Open VSCode settings (can be entered through Ctrl , or by menu bar File > Preferences > Settings )
• Click the "Open Settings (JSON)" icon in the upper right corner to enter the settings.json file
• Add the following:

 {
  "http.proxy": "http://your-proxy-server:port",
  "https.proxy": "http://your-proxy-server:port"
}

If your proxy requires a username and password, the format is as follows:

 {
  "http.proxy": "http://username:password@proxy-server:port",
  "https.proxy": "http://username:password@proxy-server:port"
}

Note: If you are using a Windows system and have a system-level proxy set, VSCode will inherit the system proxy settings by default.

2. Set up the proxy using command line parameters

If you do not want to modify the configuration file, you can also specify the proxy when starting VSCode via the command line:

 code --proxy-server="your-proxy-server:port"

This method is suitable for temporary testing whether the proxy is valid or when switching between multiple proxy.

3. Configure the agent for remote development (Remote - SSH / WSL)

If you are using Remote - SSH or Remote - WSL plug-ins for remote development, the proxy settings need to be configured in local and remote environments respectively:

• Local VSCode settings : Same as above, set http.proxy and https.proxy
• Remote server settings : After logging in to the remote server, set environment variables or modify the global proxy settings of the remote system:

 export http_proxy=http://your-proxy-server:port
export https_proxy=http://your-proxy-server:port

If you are using a Linux system, you can write these environment variables to the ~/.bashrc or ~/.zshrc file to make them permanently effective.

4. Ignore certain addresses and do not leave the proxy

If you want certain addresses not to go through proxy, you can use no proxy settings:

 {
  "http.proxy": "http://your-proxy-server:port",
  "http.proxyStrictSSL": false,
  "http.proxyBypassList": ["localhost", "127.0.0.1", "*.example.com"]
}

http.proxyBypassList can be an array that supports wildcard matching, such as ignoring local addresses or internal corporate domain names.

Basically that's it. Configuring a proxy is not complicated, but details are easy to ignore, such as whether the proxy address format is correct, whether authentication is required, and whether it needs to be set on the remote side. As long as you follow the above method step by step, the problems in most network restricted scenarios should be solved.

The above is the detailed content of How to configure proxy settings in VSCode?. For more information, please follow other related articles on the PHP Chinese website!