Situation
[.____] Je veux installer Mingw et MSYS sur un PC de travail, mais je suis derrière un proxy. Les paramètres de proxy sont configurés pour détecter automatiquement dans Internet Explorer et Firefox. Le proxy est un proxy HTTP sur le port 80 qui nécessite l'authentification.
[.____] J'ai aussi l'URL du proxy et d'un script de configuration .PAC.
[.____] Le système est Windows 7 64 bits.
problème
MINGW SETUP ne reconnaît pas les paramètres de proxy et ne peut donc pas télécharger aucun packages pour l'installation.
ce que j'ai essayé jusqu'à présent
[.____] J'ai essayé de modifier les paramètres de proxy dans les options Internet de l'explorateur d'Internet à partir de détecter automatiquement la configuration manuelle. J'ai également essayé d'exécuter l'installateur via le proxiant. Les deux n'ont pas fonctionné.
Nouveau MSYS2 a enfin des capacités de proxy
Le nouveau MSYS2 utilise maintenant pacman
, le gestionnaire de packages du projet Arch Linux, pour gérer des packages MSYS et MingW. Pacman est capable d'utiliser des proxies HTTP (S) authentifiés, voir Cet article dans l'archigno Wiki Linux pour plus d'informations.
[.____] J'ai ajouté les lignes suivantes à \msys64\etc\profile
:
# proxy settings
export HTTP_PROXY="username:[email protected]:port"
export HTTPS_PROXY=$HTTP_PROXY
export http_proxy=$HTTP_PROXY
export https_proxy=$HTTP_PROXY
et je peux maintenant enfin installer et mettre à jour des packages Mingw et MSYS à l'aide de Pacman via le proxy HTTP (S) authentifié ici.
Je suis désolé mais que l'installateur sur Surceforge n'est pas compatible de proxy en ce moment (12/02/2014).
ÉDITER:
Comme une bonne solution de contournement, vous pouvez installer codeblocks pour Windows: il est livré avec un pack de mingw de travail groupé avec elle ou vous pouvez utiliser ceci.
Une option qui a fonctionné pour moi est d'utiliser TDM-GCC
Téléchargez manuellement tous les paquets individuels et enregistrez-les à
C:\TDM-GCC-64\__installer\downloaded
TDM-GCC
bundle installateur et il devrait fonctionner