PrimTux

La distribution éducative pour débutants et initiés.

Vous n'êtes pas identifié(e).

Annonce

CARTE DES MEMBRES POUVANT AIDER ET DES ÉCOLES SOUS PRIMTUX
Merci de vous y inscrire en nous envoyant un email si vous souhaitez y apparaître.
Les différentes isos de PrimTux4 sont disponibles, cliquez ici pour choisir votre version.

  • Pour être automatiquement informé des réponses à vos messages sur le forum, n'oubliez pas de cliquer sur "Suivre cette discussion" en bas de page. Mieux, en vous abonnant au flux RSS du forum, vous pourrez suivre tout nouveau message sur l'ensemble du forum.
  • En allant dans votre Profil, ligne "Vie privée", vous pouvez également cocher "Suivre automatiquement les sujets auxquels on a répondu.", vous n'aurez plus à cliquer sur "Suivre cette discussion" lorsque vous postez un message.
  • Abonnez-vous à la newsletter sur le site principal pour être informé des nouveaux paquets, nouvelles versions, bugs...

#76 16-12-2018 17:01:04

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Ce problème de proxy ne se pose qu'avec le RPi, pas avec un PC ?

Hors ligne

#77 16-12-2018 17:09:36

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

C'est un cas particulier car je n'ai installé que des Primtux sur Raspberry Pi dans cette école avec serveur Amonecole. Il n'y a que là que j'ai eu à configurer un proxy.

Hors ligne

#78 16-12-2018 17:57:38

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

C'est pour savoir si ce correctif est à appliquer au RPi seuls, ou également à toutes les versions de PrimTux.

Avant de toucher aux fichiers de configuration, je voudrais toutefois être certain que cela ne provoque pas "d'effets secondaires". Pour un cas particulier, faut-il prendre le risque de provoquer un bug pour tous ? Un tutoriel pour ce cas particulier n'est-il pas préférable ?

Je m'interroge notamment sur l'IP 192.168.0.3 et le port 3128
Sont-ils liés à ton installation particulière, ou ont-ils une valeur générique ? Dans ce dernier cas, à quoi correspondent-ils ?

Hors ligne

#79 16-12-2018 18:03:18

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 371

Re : PrimTux3 pour Rapberry Pi: tests

Rien à voir avec firefox, ce sont les ports et adresse d'écoute de dansguardian sur tinyproxy. Le problème ne semble pas être là mais dans le déblocage des paramètres réseau, qui fontionnent très bien sur PC.

Hors ligne

#80 16-12-2018 18:13:34

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Si ça fonctionne correctement sur PC, je ne vois pas pourquoi ça ne fonctionnerait pas sur RPi, la configuration étant la même, sauf particularité insoupçonnée de Raspbian.

Hors ligne

#81 16-12-2018 18:15:32

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 371

Re : PrimTux3 pour Rapberry Pi: tests

Je viens de refaire le test, quand on désactive on a bien possibilité de régler le proxy.

Hors ligne

#82 16-12-2018 19:13:23

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Le serveur Amonecole/Eclair/Amonecole+ est basé sur la solution EOLE qui est testé sur Grenoble (avec image LTSP de Primtux pour des clients légers évoqué dans le fil suivant : http://forum.primtux.fr/viewtopic.php?id=1211). Et comme l'a souligné Steph, c'est le réglage par défaut pour DansGuardian qui est le proxy utilisé par les déclinaisons EOLE : ces ports ne sont pas exotiques wink .
J'avais été déjà obligé de faire ce réglage manuel du proxy pour une version Raspbian classique pour pouvoir la mettre à jour sur ce réseau (d'où mon tutoriel qui m'a servi pour Primtux car sans ça impossible de mettre à jour).

Hors ligne

#83 16-12-2018 19:56:32

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

En regardant ce qu'ils font sur Grenoble:
https://gitlab.tetras-libre.fr/tetras-l … imtux-eole

on voit que les modifications suggérées par ThierryM sont effectuées dans les scripts de pré et postinstall, et cela ne concerne pas que les RPi.
Cela serait donc nécessaire pour toute machine passant par EOLE.

Maintenant, faut-il l'intégrer de base dans les futures versions de PrimTux, sachant que pour ce type de besoin, il y aura sans doute intervention d'un "spécialiste" qui saura quoi faire ?

On peut aussi envisager un script mis à disposition sur PrimTux.

Qu'en pensez-vous ?

Hors ligne

#84 16-12-2018 20:11:48

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

L'idéal serait de pouvoir régler directement les différents proxy en mode administrateur (mais ça demanderait certainement du développement pour un nombre limité d'utilisateur).
Peut-être que juste une documentation pour des "spécialistes" suffirait...
Ou mieux, en cas d'utilisation derrière un proxy EOLE, un script (car mon réglage manuel poste par poste est fastidieux) à lancer dans Primtux (dans un terminal, ce qui est à la portée d'un "spécialiste" débutant wink ).
Oups, je n'avais pas lu l'idée de script déjà suggérée par Philippe.

Dernière modification par ThierryM (16-12-2018 20:18:37)

Hors ligne

#85 16-12-2018 20:28:10

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 371

Re : PrimTux3 pour Rapberry Pi: tests

Oui un script mais non intégré parce que ça risque de dérouter les novices.

Hors ligne

#86 16-12-2018 20:39:31

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Le script sera facile à faire, car il suffit de reprendre et d'adapter ce qu'ils ont déjà fait sur Grenoble.
Je veux bien m'en charger.

Hors ligne

#87 16-12-2018 21:14:29

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Steph a écrit :

Oui un script mais non intégré parce que ça risque de dérouter les novices.

Pourquoi ne pas l'intégrer sans le lancer automatiquement, une sorte d'agent dormant wink ?
Il suffirait alors de le lancer juste en cas de besoin (sans avoir besoin de le chercher, de le télécharger, de le mettre sur une clé USB, avec les bons droits, sachant qu'on n'a pas accès à Internet à cause justement du problème du proxy). On installerait Primtux de façon classique et une fois l'installation faite, l'administrateur pourrait lancer le script à n'importe quel moment (ça peut être utile aussi si on prépare les ordi à un endroit et qu'ensuite on les déploie à l'école).
Et même mieux, un script réversible pour revenir à la version classique sans proxy ?

Dernière modification par ThierryM (16-12-2018 21:17:34)

Hors ligne

#88 16-12-2018 21:23:18

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 371

Re : PrimTux3 pour Rapberry Pi: tests

Parce que PrimTux est une distribution qui se veut simple. Rien que le panneau d'administration les 2/3 des utilisateurs ne le trouvent pas ou ne l'utilisent pas, peut-être parce qu'il est déjà trop complet et donc déroutant. Je ne compte pas les demandes d'aide qui concernent une fonctionnalité de base. Il ne faut pas multiplier les fonctionnalités, mais au contraire, simplifier leur accès. L'utilisateur qui veut bricoler pour passer derrière eole sait déjà ce qu'il doit faire. On peut lui sumplifier la tache avec un script, mais on doit tendre vers une distribution encore plus simple, et ce n'est pas en intégrant des outils qui relèvent somme toute d'une personnalisation qu'on la rendra plus accessible. Il faut une base solide personnalisable, mais non encore personnalisée et destinée au plus grand nombre out of the box.

Hors ligne

#89 16-12-2018 21:46:41

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Je pense que ThierryM veut dire le placer de façon invisible, sans aucune entrée de menu quelconque. Par exemple dans un répertoire /usr/share/doc/primtux.

On pourrait y placer quelques scripts utiles aux administrateurs, dont le lien ne serait donné que dans les tutos spécialisés du site ou du forum. ça faciliterait la vie des administrateurs qui, on le voit, sont tout de même assez nombreux sur le forum.

Invisible pour les utilisateurs lambda, utile pour les installateurs !

Hors ligne

#90 16-12-2018 21:47:38

Steph
Administrateur
Inscription : 03-06-2015
Messages : 5 371

Re : PrimTux3 pour Rapberry Pi: tests

Oui là on peut, pour le reste à trop multiplier les fonctionnalités on risque de perdre des utilisateurs.

Hors ligne

#91 16-12-2018 22:08:25

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Entièrement d'accord avec toi Steph.
Edit : Tout à fait Philippe (j'étais en train d'écrire quand tu as posté ton précédent message), c'était exactement ma pensée.
Voilà pourquoi, les outils "techniques" ne relevant pas directement de l'enseignant⋅e ne devraient pas apparaître tout le temps car ils surchargent et déroutent du fait de leur technicité. Par exemple, régler un proxy, un dossier partagé, ne se font qu'une fois en général et ne relèvent pas de choix pédagogiques contrairement à la personnalisation des Handy-Menus.

Peut-être qu'il faudrait pour alléger les interfaces, un accès "administrateur⋅rice" et un autre accès "enseignant⋅e" ? Mais cela demande de faire un tri en listant ce qui relève du choix des enseignant⋅e⋅s et ce qui est indépendant de ce choix (c'est-à-dire dépendant de contraintes techniques sur lesquelles ils⋅elles n'ont pas de prise). De toute façon, l'installation de Primtux demande des compétences que la majorité des enseignant⋅e⋅s n'ont pas, à l'heure actuelle (et à l'avenir) : il faudra toujours un "bricoleur" big_smile au départ.

Dernière modification par ThierryM (16-12-2018 22:14:58)

Hors ligne

#92 16-12-2018 22:14:49

mothsart
Modérateur
Inscription : 31-10-2016
Messages : 796

Re : PrimTux3 pour Rapberry Pi: tests

Je suis dac sur les remarques de Thierry : si on veut simplifier, il faut séparer la partie "enseignant⋅e" de celle de "technicien" même si ça arrive souvent que ça soit la même personne.

Hors ligne

#93 17-12-2018 02:08:46

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

J'ai fait un script téléchargeable ici:
http://www.primtux.fr/Documentation/scr … xy-eole.sh

L'édition de /etc/sudoers étant risquée sans visudo, j'ai utilisé la solution plus sécurisée de créer un fichier dans /etc/sudoers.d
Au niveau sécurité, c'est préférable, ce fichier pouvant facilement être supprimé pour des besoins d'administration.

proxy-eole.sh

#!/bin/bash

# Ajoute les variables d'environnement
echo "export http_proxy=192.168.0.3:3128
export https_proxy=192.168.0.3:3128
export ftp_proxy=192.168.0.3:3128" >>/etc/environment

echo 'Defaults env_keep = "http_proxy https_proxy ftp_proxy"' > /etc/sudoers.d/fix-env-var

# Ajoute le proxy pour apt
fichier=/etc/apt/apt.conf.d/10proxy
echo 'Acquire::http::proxy "http://192.168.0.3:3128/";' >"$fichier"
echo 'Acquire::https::proxy "https://192.168.0.3:3128/";' >>"$fichier"
echo 'Acquire::ftp::proxy "ftp://192.168.0.3:3128/";'  >>"$fichier"
chmod 0440 "$fichier"

J'ai bien sûr vérifié qu'il fait correctement les opérations indiquées, mais je ne peux vérifier si les opérations effectuées sont correctes.
Peux-tu tester cela, ThierryM ?

Hors ligne

#94 17-12-2018 02:53:02

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Merci Philippe.
Je teste dès que possible et fais un retour.
Cordialement,

Hors ligne

#95 17-12-2018 09:35:11

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Adieu a totes,
Le script de Philippe marche comme attendu (exécution dans un terminal). Merci beaucoup. C'est un sacré gain de temps (le plus long a été de le récupérer big_smile, d'où l'intérêt d'intégrer ce fichier directement pour une exécution encore plus rapide par l'administrateur en cas de besoin : le fait que le proxy bloque l'accès Internet complique sacrément le déploiement) ! Du coup, va falloir que je me lance dans l'étude des scripts... ohyeah

Concernant le réglage du proxy dans Firefox, effectivement proxy-protect-firefox-esr fonctionne : j'ai eu la fenêtre proposant d'activer ou de désactiver la protection. Je ne sais pas ce qu'il s'est passé... Je vais pouvoir finaliser l'installation des 6 Raspi dans l'école. Désolé pour le bruit.
Cordialement.

Thierry

Hors ligne

#96 17-12-2018 12:29:36

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Petit retour in situ (de ma classe). J'ai toujours un problème avec le proxy pour Firefox. Je ne peux lancer l'utilitaire de déprotection qu'en ligne de commande (impossible via "Préférences Élèves" ou via le menu "Système" : après avoir saisi le mot de passe, rien ne se passe). La désactivation fonctionne, par contre la ré-activation, non. Voici un extrait de mon terminal :

root@primtux5:/home/administrateur# cd /usr/local/bin/primtux/
root@primtux5:/usr/local/bin/primtux# ./proxy-protect-firefox-esr 
root@primtux5:/usr/local/bin/primtux# ./proxy-protect-firefox-esr 
root@primtux5:/usr/local/bin/primtux# ./proxy-protect-firefox-esr 
grep: s/pref/#pref/g: Aucun fichier ou dossier de ce type
/usr/local/bin/primtux/proxy-protect-esr: 37: [: grep: unexpected operator
root@primtux5:/usr/local/bin/primtux# ./proxy-protect-firefox-esr 
grep: s/pref/#pref/g: Aucun fichier ou dossier de ce type
/usr/lib/firefox-esr/defaults/pref/local-settings.js:pref("general.config.obscure_value", 0); // grise les paramètres de modification du proxy
/usr/lib/firefox-esr/defaults/pref/local-settings.js:pref("general.config.filename", "mozilla.cfg");
/usr/local/bin/primtux/proxy-protect-esr: 37: [: grep: unexpected operator
root@primtux5:/usr/local/bin/primtux# 

En l'état ce n'est pas bien grave car Firefox (sans protection pour le proxy) fonctionne pour les élèves. J'ai dû aller dans chaque session des élèves pour le paramétrer. Remarque : pour l'utilisateur 01, il faut démarrer Pépit (qui fonctionne en local) pour avoir un accès à Firefox, si l'on veut utiliser des sites Internet pour des cycles 1 En fait il y a l'icône Firefox à côté de celle de Pepit.

En administrateur, Chromium ne fonctionne pas : bizarre car sous d'autres systèmes, c'est le fichier /etc/environment qui sert à indiquer le proxy...

Cordialement,
Thierry

Dernière modification par ThierryM (17-12-2018 14:57:05)

Hors ligne

#97 17-12-2018 13:32:57

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Bizarre, ça fonctionne correctement chez moi, aussi bien depuis l'administration système que depuis le menu système.
Tu es sûr que la fenêtre ne se trouve pas cachée ?

Quant à tes messages d'erreur:
- il faut être administrateur, donc la commande n'est pas reconnue sans sudo.
- comme tu es dans un dossier système, inutile de mettre le ./
Lance directement la commande
sudo proxy-protect-firefox-esr

Hors ligne

#98 17-12-2018 13:37:39

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

J'oubliais:

En administrateur, Chromium fonctionne aussi sans problème chez moi.
En revanche, sur le RPi, il lui arrive parfois de mettre une éternité avant de démarrer, et je ne sais pas pourquoi. Comme ça n'est pas systématique, difficile d'en trouver la cause !

Hors ligne

#99 17-12-2018 15:05:24

ThierryM
Membre
Lieu : Les Corbières
Inscription : 17-09-2017
Messages : 53
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

Non, la fenêtre n'est pas cachée.
Je ne pense pas que ce soit un problème de "sudo" car je passe par le terminal administrateur.

Pour Chromium, il se lance bien mais pas d'accès à Internet : typiquement une erreur de proxy. Du coup, je l'ai remplacé par Firefox dans la session administrateur.
Tous ces problèmes ne seraient-ils pas dû au fait que j'ai cloné une image "dégradée" ? Il faudrait que je refasse une nouvelle image et retester pour voir.

Hors ligne

#100 17-12-2018 15:41:53

Philippe Dpt35
Administrateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 686
Site Web

Re : PrimTux3 pour Rapberry Pi: tests

ThierryM a écrit :

Je ne pense pas que ce soit un problème de "sudo" car je passe par le terminal administrateur.

Si j'avais été plus attentif, j'aurais effectivement vu l'indication du root !  roll

Hors ligne

Pied de page des forums