PNETLab: repo error

If you guys keep having issues with repo.pnetlab.com, you can use pnetlab.labhub.eu.org in your sources.list file for now.

1. Open sources.list with a text editor like nano.

vim /etc/apt/sources.list

2. Remove or comment out the line with repo.pnetlab.com

3. Paste this mirror at the bottom of the file:

deb [trusted=yes] https://pnetlab.labhub.eu.org ./

This is mostly useful on fresh installs but can also solve the error mentioned in the previous message.