J’ai un souci de connexion : que ce soit avec Firefox, Dillo ou web, il arrive que la connexion ne fonctionne plus. Mais avec tor, ça fonctionne. J’en déduis donc qu’il ne s’agit pas d’un problème de réseau.
Par ailleurs, je constate que si je choisis « pas de proxy » dans les préférences réseau de firefox, ce choix redevient « Utiliser les paramètres proxy du système » après redémarrage de cette application, dont j’ai désactivé tous les plugins.
Je commence donc à soupçonner un pépin de proxy, mais je ne vois pas pourquoi : je n’ai jamais rien configuré de tel. Et si je tape $ echo $http_proxy, j’obtiens une ligne vide.
Je n’y pige que pouic. SI quelqu’un peut m’éclairer, je lui en serai reconnaissant.
*** EDIT ***
Peu de temps après avoir posté ce message, Firefox et les autres navigateurs ont subitement retrouvé leur connexion. Seul tor n’avait pas été affecté par cette déconnexion intempestive. C’est à n’y rien comprendre.