@pietro
To change proxy settings in Google Chrome, follow these steps:
- Open Chrome and click on the three dots located in the top-right corner of the browser window.
- In the drop-down menu, click on "Settings."
- Scroll down and click on "Advanced" to expand the advanced settings.
- Under the "System" section, click on "Open your computer's proxy settings."
- This will open the system's proxy settings directly in your operating system. Refer to the specific operating system instructions below:
Windows:
In the "Internet Properties" window, go to the "Connections" tab and click on "LAN settings."
In the "Local Area Network (LAN) Settings" window, check the box for "Use a proxy server for your LAN" if it's not already checked.
Enter the IP address and port number of the proxy server you want to use. If you don't have this information, you can get it from your network administrator or proxy service provider.
Click "OK" to save the changes and close the dialog boxes.
Mac:
In the "Network" section, click on "Advanced" at the bottom-right corner.
In the "Proxies" tab, select the proxy settings you want to modify (e.g., HTTPS, HTTP, etc.).
Enter the proxy server details in the respective fields.
Click "OK" to save the changes.
Linux:
Open the system settings and go to "Network" or "Network Settings."
Look for the "Proxy" settings and click on it.
Enter the proxy server details like IP address and port number.
Click "Apply" or "OK" to save the changes.
Once you have modified the proxy settings in your operating system, restart Google Chrome to apply the changes.