Script that sets and removes proxy settings on Ubuntu variations without GUI proxy settings