The following instructions refer to the configuration of the web proxy in Microsoft Edge. These instructions are based on the Windows 10 operating system.
1. Open the Microsoft Edge browser. In the top right corner, click on “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: proxy.tecnico.ulisboa.pt
- 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: https://si.tecnico.ulisboa.pt/configuracoes/proxy.pac
- Use a proxy server: Off
