J'ai quelques problèmes lors de l'exécution d'apt-get update:
W: Failed to fetch http://br.archive.ubuntu.com/ubuntu/dists/raring/Release.gpg
Something wicked happened resolving 'br.archive.ubuntu.com:http' (-11 - System error)
E: Some index files failed to download.
They have been ignored, or old ones used instead.
De plus, lorsque j'essaie de transmettre quelque chose à GitHub, je reçois cette erreur:
error: Couldn't resolve Host 'github.com'
while accessing https://github.com/lapl/HardL1.git/info/refs?service=git-receive-pack
fatal: HTTP request failed
Quand je suis à l'université, ça marche bien. Toute aide pour résoudre ce problème?
Configurez votre réseau pour utiliser un autre serveur de noms (serveur DNS), car le serveur actuel ne parvient pas à résoudre les noms d'hôte. Généralement, votre routeur domestique a configuré un serveur DNS avec lequel il relaie les requêtes DNS. Je peux recommander l'utilisation des services DNS publics Google (8.8.8.8
et 8.8.4.4
) à la vérification.
Essayez de préférence de changer ce paramètre dans votre routeur. Si cela échoue, essayez de le configurer sur une base hôte. Je l'ai décrit plus tôt dans autre réponse (un extrait ci-dessous).
Je recommanderais de configurer votre PC correctement à l'aide de Network Manager. Je suppose que vous utilisez DHCP sur votre réseau ici (le plus courant). Ensuite, procédez de la même manière que la commande que vous utilisiez:
Ouvrir Modifier les connexions :
Modifiez le profil de connexion que vous utilisez.
Sur l'onglet Paramètres IPv4 :
Méthode: Adresses automatiques (DHCP) uniquement
Ce paramètre permet de faire une demande DHCP régulière pour la configuration de l'adresse IP de votre hôte, mais ignore les autres options non obligatoires, telles que les serveurs DNS suggérées.
- Serveurs DNS:
8.8.8.8
- Hit Sauvegarder
Terminé.