16-12-2018, 15:32:31
Merci Philippe.
Dès que j'ai testé, je fais un retour.
Par contre, il me semble nécessaire de modifier sur les Raspberry Pi les fichiers de configuration /etc/environment (utilisé par Chromium), /etc/sudoers et /etc/apt/apt.conf.d/10proxy (nécessaire pour pouvoir faire les mises à jour avec apt-get update et upgrade). J'ai détaillé ici : https://lofurol.fr/joomla/electronique/r...-et-proxy).
Cordialement,
Thierry
Dès que j'ai testé, je fais un retour.
Par contre, il me semble nécessaire de modifier sur les Raspberry Pi les fichiers de configuration /etc/environment (utilisé par Chromium), /etc/sudoers et /etc/apt/apt.conf.d/10proxy (nécessaire pour pouvoir faire les mises à jour avec apt-get update et upgrade). J'ai détaillé ici : https://lofurol.fr/joomla/electronique/r...-et-proxy).
Cordialement,
Thierry
ERUN libriste