Le terminal n'utilise pas les paramètres de proxy configurés dans le volet des préférences réseau car il n'effectue aucune connexion. Le terminal vous permet simplement de lancer des commandes qui utiliseront le réseau de différentes manières.
Lorsque vous définissez votre http_proxy
y https_proxy
ne doivent pas inclure les variables d'environnement http:
ou https:
préfixes.
Par conséquent, la variable d'environnement dans votre cas devrait être la suivante :
http_proxy=username:password@proxyserver:port
Remarque : de nombreux anciens programmes ont des problèmes de connexion via des serveurs proxy qui exigent une authentification avant de se connecter.
Conseil supplémentaire :
En raison de notre infrastructure, nous avons trouvé qu'il était beaucoup plus facile de faire en sorte que les utilisateurs exécutent SquidMan localement et le configurer pour qu'il se connecte à notre proxy principal. Cela permet à la machine locale d'agir directement comme un proxy, et élimine de nombreux problèmes d'authentification, etc. lors de l'utilisation de serveurs proxy sur des machines Mac, en particulier dans des environnements mixtes et AD.
Dans le cas de l'utilisation de cette méthode, notre http_proxy
y https_proxy
serait :
http_proxy=localhost:3128
1 votes
Quelle commande exécutez-vous dans Terminal pour vous connecter à Internet ? Ou comment voyez-vous que vous ne pouvez pas vous connecter ?
1 votes
Le serveur proxy (sans s) dont vous parlez ici relaie votre
web
mais pas toutes vos connexions Internet.web
les connexions utilisent les ports 80, 443 . Les connexions Internet peuvent utiliser tous les ports restants de l'ensemble 65536. Par exemple, une connexionssh
La connexion utilisera le port 22 qui ne passera pas par votrehttp
serveur proxy. D'où la question de patrix pour vous aider à obtenir une meilleure réponse.0 votes
@patrix ping google.com
0 votes
@TLE Ping est une exception à la règle et n'utilise pas du tout le proxy, même si
http_proxy
est défini. Ping s'attend à une connexion directe et, dans de nombreux cas, lorsqu'un proxy est utilisé, ping échouera bien que le proxy se connectera quand même avec succès.3 votes
Essayer
curl -o /dev/null www.google.com
au lieu deping
0 votes
@patrix Bon conseil, j'avais oublié cela.
0 votes
@patrix mes quelques commandes fonctionnent, mais git push ne fonctionne pas. Je veux dire que certaines choses sont capables de se connecter à l'internet, mais pas toutes.
0 votes
@TLE Autant que je me souvienne, git gère lui-même le proxy, et n'utilise pas les variables d'environnement ou les paramètres du réseau.