Instituto Superior Técnico

Serviços de Informática

Setting up the proxy in Microsoft Edge

The following instructions refer to the configuration of the web proxy in Microsoft Edge. These instructions are based in the Windows 10 operating system.

  1. Open the Microsoft Edge browser. In the top right corner, click in “Options” and then “Settings”.
  2. In the “System” tab, click “Open your computer’s proxy settings”.
  3. In the proxy settings, fill the following fields:
    • Automatically detect settings: Off
    • Use a proxy server: On
    • Address:
    • Port: 3128
  4. Click “Save”. When accessing a website, an authentication pop-up will appear. Fill the following fields:
    • Username – istxxxxx, where istxxxxx corresponds to your Técnico ID
    •  Password – password corresponding to your Técnico ID
  5. When you finish using the proxy, switch the option “Use a proxy server” to Off.

Access only to b-on’s content

If you want to use the proxy only to access the b-on’s content, repeat steps 1 and 2. Then, fill the following fields:

  • Automatically detect settings: Off
  • Use a setup script: On
  • Script address:
  • Use a proxy server: Off