These are the instructions to configure the VPN service on a Linux Ubuntu system (in this tutorial version 20.04 LTS was used).
1. In “Settings”, click on “About” and then on “Software Updates”.
2. Add “universe” source in the “Ubuntu Software” tab. Click “Close”.
3. Right-click on the link in the tecnico.ovpn configuration file and choose “Save as”/”Save target as”, or equivalent, to download the file to your computer. Click “Save link
as…”.
4. Open Terminal App and run the following command:
>$ sudo apt-get install network-manager-openvpn-gnome
Confirm with “Y”.
5. Go to “Settings” again and click on “Network”. Search for the “+” icon near “VPN” and double-click on it.
6. Choose the option “Import from file…”.
7. Select the previously downloaded file tecnico.ovpn. Click “Open”.
8. Fill in the authentication fields:
- “User name”: insert istxxxxx@tecnico.ulisboa.pt, where istxxxxx corresponds to the Técnico ID.
- “Password”: insert the password associated with Técnico ID.
9. Turn on the connection created.
10. Set up is complete.
