Обновление Pub Dart из-за прокси-сервера

Любое решение для обновления дротика из-за веб-прокси-сервера? Я нахожусь за веб-прокси кампуса, поэтому он выдает ошибки при обновлении. Я использую Ubuntu Server 12.04. Любые обходные пути?


person Alois Napitalai    schedule 27.06.2014    source источник
comment
возможный дубликат dart pub не работает через прокси - есть ли способ установить пакеты вручную?   -  person Günter Zöchbauer    schedule 02.07.2014
comment
или stackoverflow.com/questions/24021315   -  person Günter Zöchbauer    schedule 02.07.2014
comment
возможный дубликат страницы настроек сетевого подключения в Dart IDE   -  person hopper    schedule 16.07.2014