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

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

Annonce

PRIMTUX3 i386 EST DISPONIBLE SUR SOURCEFORGE.
Somme MD5: 93ef32d6c63215a3dd015419bf456eac

#51 15-05-2018 22:06:47

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Dans les paquets à reconstruire, il y a
accueil-primtux2_1.1.8_i386.deb
administration-eleves-primtux_1.0.8_i386.deb

Pour le premier, il faut une version différente pour le RPI, puisque nous serons amenés à modifier les scripts d'installation des logiciels complémentaires en fonction de ce qu'il sera possible ou non d'installer.

Pour le second, comme il ne s'agit que de scripts bash, y a-t-il une raison particulière pour laquelle tu l'as mis en architecture i386 plutôt qu'en all ? Cela éviterait de devoir refaire le paquet pour armhf à chaque modification.

Hors ligne

#52 16-05-2018 11:07:47

Steph
Administrateur
Inscription : 03-06-2015
Messages : 4 013

Re : PrimTux 3 pour Raspberry Pi - développement

Non je ne crois pas.

Hors ligne

#53 16-05-2018 12:00:36

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Pour la 64 bits, tu avais fait un autre paquet marqué amd64 ?

On pourrait peut-être harmoniser tout cela en faisant un seul paquet marqué "all".
Pour la version précédente sur RPi, il me semble que je m'étais contenté de reconstruire le paquet sans autre modification que le changement d'architecture.

Hors ligne

#54 16-05-2018 12:30:44

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Dans le paquet accueil-primtux2, fichier

/usr/local/bin/accueil

je suggère de remplacer la commande

/home/administrateur/seamonkey/seamonkey

par

sensible-browser

comme suggéré dans cette discussion: https://forum.abuledu.org/viewtopic.php … 6df4161383

C'est ce que j'ai dû faire pour l'adapter au RPi, et cela éviterait de devoir refaire le paquet si l'on devait changer de navigateur (sans compter sur le fait d'oublier de le faire dans ce cas !).

Hors ligne

#55 16-05-2018 14:26:27

Steph
Administrateur
Inscription : 03-06-2015
Messages : 4 013

Re : PrimTux 3 pour Raspberry Pi - développement

Steph a écrit :

Ben là du coup non, comme on a seamonkey en admin non filtré je ne vois pas pourquoi on utiliserait firefox filtré...

Et ça ne m'embête absolument pas de refaire un petit paquet pour une commande. La gestion des fichiers est tellement aléatoire que j'aime vraiment mieux qu'on utilise seamonkey par défaut en admin, non filtré, que firefox ou autre. Tu vas installer un autre navigateur il va vouloir être le défaut, et rebelote, franchement j'aime mieux en imposer un pour l'ouverture des docs du site (parce que ça ne concerne que l'ouverture via l'accueil).

Hors ligne

#56 16-05-2018 14:41:43

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Selon moi cela n'a guère d'importance que ce soit tel ou tel navigateur qui soit utilisé pour ouvrir une doc. Il me semble préférable qu'un navigateur soit "trouvé" par le système, plutôt que d'avoir une doc qui ne s'ouvre pas parce que la commande est obsolète suite à des changements.
Mais ça n'est que mon avis !

Edit: il faut aussi envisager le cas où un administrateur souhaite utiliser un autre navigateur que seamonkey et vire ce dernier devenu inutile.

Hors ligne

#57 16-05-2018 14:58:34

Steph
Administrateur
Inscription : 03-06-2015
Messages : 4 013

Re : PrimTux 3 pour Raspberry Pi - développement

Ça n'est manifestement pas encore arrivé. Je maintiens ma position, trop de problèmes avec les xdg-open et compagnie, d'ailleurs si on utilise les 2 (xdg-open et sensible-browser), qui prend le dessus?
Voilà un exemple tout bête de la complexité qu'engendre ces associations avec un "multi-environnement graphique", à savoir fluxbox, rox, lxde, xfce => https://forums.archlinux.fr/viewtopic.php?t=17842 (dans ce cas précis il s'agit d'openbox).
Si on ne met pas qu'on est sous xfce, les associations sont tronquées.
Le jour où on passera complètement sous un seul environnement, oui, mais dans ce cas de figure, je ne trouve pas  cette solution judicieuse, a fortiori quand on parle d'ouvrir quelques pages via un seul appel.

Hors ligne

#58 17-05-2018 15:59:18

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

@mothsart
J'ai tenté de compiler Word Search Creator, mais sans succès.
Il semblerait qu'on se trouve dans le cadre d'une inclusion multiple ou circulaire, et qu'il faille modifier le code source pour mettre en place des déclarations anticipées (C++ et qt). Mais cela dépasse mes compétences !  sad

Tes compétences de développeur te permettront peut-être de résoudre le problème bien que ce ne soit pas des langages que tu maîtrises.

Les sources sont ici: https://sourceforge.net/projects/wsc/files/

Hors ligne

#59 21-05-2018 08:33:25

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

@Steph
Peux-u mettre à jour les sources de PrimTux3, notamment pour le paquet accueil-primtux2 (version 1.1.9), afin que je le reconstruise pour le RPi ?

Hors ligne

#60 21-05-2018 08:37:39

Steph
Administrateur
Inscription : 03-06-2015
Messages : 4 013

Re : PrimTux 3 pour Raspberry Pi - développement

C'est bon.

Hors ligne

#61 21-05-2018 13:02:22

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

Re : PrimTux 3 pour Raspberry Pi - développement

Philippe : je veux bien t'aider mais je ne trouve pas de sources sur le lien donné : que des .exe et des .deb

Hors ligne

#62 21-05-2018 14:21:42

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Il semble que les sources de la version 1.1 aient disparu depuis que je les ai téléchargées la semaine dernière. Elles étaient dans un tar.gz téléchargeable. Elles sont d'ailleurs toujours présentes pour la version 1.0.
Peut-être le développeur s'est-il aperçu d'un problème et les a-t-il supprimées ? Auquel cas il conviendrait peut-être de travailler sur la version 1.0. Du coup je vais tenter la compilation de la version 1.0.

A toutes fins utiles, voici les sources de la version 1.1 que j'ai téléchargées:  http://www.primtux.fr/Documentation/for … 1.1.tar.gz

Hors ligne

#63 21-05-2018 14:49:10

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

J'ai le même problème avec la version 1.0

Hors ligne

#64 21-05-2018 15:26:02

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

J'ai retrouvé un autre lien pour le téléchargement des sources de Word Search Creator: http://wordsearchcreator.org/downloads/
Contrairement à ce que j'écrivais précédemment, il est davantage probable que j'ai téléchargé depuis cette source, et que le lien donné précédemment ne les contenait pas !

Hors ligne

#65 21-05-2018 16:10:36

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

Re : PrimTux 3 pour Raspberry Pi - développement

Ca serait bien de mettre toutes les sources quelque part pour éviter ce genre de recherche à l'avenir.

Hors ligne

#66 21-05-2018 16:27:43

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

mothsart a écrit :

Ca serait bien de mettre toutes les sources quelque part pour éviter ce genre de recherche à l'avenir.

Oui, bonne idée, une liste de liens vers les sources utilisées pour PrimTux. Pas directement les sources elles-mêmes, car elles peuvent changer.
Je vais commencer ça.

Hors ligne

#67 21-05-2018 16:54:06

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

Re : PrimTux 3 pour Raspberry Pi - développement

Je dirais que si possible, les 2 car certaines sources peuvent disparaîtres : genre les sources d'un logiciel plus maintenu ou une vielle version.

Hors ligne

#68 21-05-2018 17:16:41

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

Re : PrimTux 3 pour Raspberry Pi - développement

Et puis, c'est aussi tout ce qu'il y a dans le dossier debian qui est important pour pouvoir reconstruire les sources facilement.
Je sais pas si c'est dure d'avoir un dépôt pour les sources que l'on peut récup via : apt-get source monpaquet ?

Hors ligne

#69 21-05-2018 18:35:49

Steph
Administrateur
Inscription : 03-06-2015
Messages : 4 013

Re : PrimTux 3 pour Raspberry Pi - développement

Le plus simple c'est quand même de tout balancer sur un git si on parle de sources.

Hors ligne

#70 21-05-2018 18:57:33

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Il me semble compliqué et peu pratique de gérer des sources en plus de celles des développeurs !
Je propose la chose suivante:

une liste des logiciels pour lesquels nous avons besoin des sources, avec

  • un lien vers la page des sources officielles

  • un lien vers une archive de la dernière version existante que l'on placera sur l'hébergement de PrimTux, au cas où les sources disparaîtraient.

Si cela vous convient, je veux bien m'en charger

Hors ligne

#71 22-05-2018 18:14:22

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 1 714
Site Web

Re : PrimTux 3 pour Raspberry Pi - développement

Bonne nouvelle !
Je viens de trouver sur un site, probablement japonais roll , comment installer et faire fonctionner DrGeo sur le Raspberry Pi !

Hors ligne

Pied de page des forums