Есть ли способ установить / изменить прокси-сервер в диспетчере синаптических пакетов из терминала?

Версия linux для чтения foxit доступна для Linux. см. http://www.foxitsoftware.com/products/reader/non.php

Имейте в виду, что это не программное обеспечение с открытым исходным кодом / бесплатное программное обеспечение!