La mise à jour de Dart pub a échoué

Question

J'obtiens l'erreur suivante lorsque j'essaie de faire une mise à jour de la pub pour obtenir l'option web_ui installé.

Version de l'éditeur Dart : 0.2.10_r16761

Dart SDK version : 0.2.10.1_r16761

En "Help > About > Check for Update..." me donne aussi "Unable to get latest revision" . Est-ce un problème de proxy peut-être ?

Existe-t-il un moyen manuel d'ajouter des paquets, par exemple en téléchargeant le paquet et en le plaçant quelque part ?

Running pub update ...
Pub update failed, [1] Resolving dependencies...
Got socket error trying to find package "web_ui" at http://pub.dartlang.org.
OS Error: A connection attempt failed because the connected party did not properly respond after a period of time, or established connection failed because connected host has failed to respond.
, errno = 10060

Answer 1

D'après les commentaires, ce problème est dû au fait que vous êtes derrière un serveur proxy HTTP. Dart Editor et Dart Pub ne respectent pas les paramètres proxy d'un système et ne fonctionnent que si vous avez une connexion normale au web. Il y a actuellement 2 bugs écrits que l'équipe Dart espère corriger à un moment donné, mais ils ne sont pas encore là.

Veuillez voir plus de détails sur ce problème dans les bogues et starifier les bogues si vous souhaitez qu'il soit corrigé.

• Bogue 5455 : Autoriser Dart Editor à utiliser un proxy pour les mises à jour
• Bogue 5454 : Autoriser Pub à utiliser un proxy HTTP