Eu preciso mudar automaticamente o proxy no meu servidor a cada 5-10 minutos. Eu tenho um arquivo com uma lista de proxy no formato ip: port.
Como posso fazer isso no Ubuntu 16.04?