Мне нужно автоматически менять прокси-сервер на моем сервере каждые 5-10 минут. У меня есть файл с прокси-списком в формате ip: port.
Как это сделать на Ubuntu 16.04?