https://www.fosslicious.com/2018/08/change-ubuntu-repository.html