Clef USB pour ISN dans les lycées

oui le reseau fonctionne bien.

J’ai fait la grosse boulette en voulant refaire ma cle $ mkdiskimage /dev/sda:angry:
J’en ai profité pour vite sauvegarder mes données et remettre une nouvelle debian mais cette fois en enlevant lvm qui pour moi ne semble pas utile.

J’ai essayé ClefAgreg-9.0-rc1.iso sur la clé usb mais j’arrive direct sur le shell grub.
Pas bon non plus si j’essaye de booter avec virtualbox.

Hum…
Pour virtualbox, c’est une version 64 bits, donc il faut une version processeur 64 bits…
Il n’y a pas de messages avant???

Bon, le isolinux.bin était obsolète, essaye avec cette image, elle fonctionne au moins sur virtualbox…
Merci de ta patience :slight_smile:

Oui c’est tout bon. Je teste ça bientôt, merci encore.

Bonjour françois.

Je ne trouve plus sauve-extension! L’as tu changé de nom?
Sinon tout semble ok.

merci

Oups, je ne dois pas l’avoir mis, il faut dire qu le filtrage des fichiers est compliqué… Je vais arrangé ça. N’hésite pas à mettre les remarques tu es deuxième testeur :slight_smile:

Si tu veux faire une extension ou une correction, voilà comment faire:

alfred
ALL=NOPASSWD: /usr/local/bin/faitext.sh, /usr/local/bin/doextension.sh, /usr/local/bin/emuleclef, /usr/local/bin/resetextension.sh, /usr/local/bin/nettoiefaitext.sh

dans un fichier /etc/sudoers.d/alfred

où alfred est ton login.

Cette ligne introduit un souci de securité dans ta machine MAIS évite de faire
une grosse anerie genre rm -Rf * en croyant être sur la clef

  • Un répertoire Clef contenant tout ce qu’il y a dans le répertoire isn de la
    clef.

La commande principale est faitext.sh faite dans ce repertoire:

Typiquement:

  1. faitext.sh -b basesystem -o -f -n toto

ouvre un chroot où tu peux faire toutes les commandes voulues pour installer
des paquets. À la fermeture l’extension est crée.

Sans le -f, l’extension n’est pas crée, le répertoire reste. Le -o optimise la
place mémoire

  1. Cas courant:
    faitext.sh -b basesystem -m -n toto
    Pareil mais le système de fichier est crée en mémoire, c’est plus rapide.

  2. faitext.sh -b basesystem -e extension_java.sqh -m -n geogebra

va charger l’extension java en plus de basesystem. L’extension crée dépendra
de ou des extensions chargées. Cela se voit par la commande analyse.sh:

francois@athos:~/Clef/C9.0$ analyse.sh extension_geogebra.sqh
extension_java.sqh extension_geogebra.sqh
francois@athos:~/Clef/C9.0$

  1. faitext.sh -b basesystem -e extension_java.sqh -e extension_geogebra.sqh

lance le système de fichiers avec les extensions chargées sans édition de quoi
que ce soit. Pour les tests.

  1. Aide succinte en tapant faitext.sh

Le système de fichiers est dans /var/tmp/ISN

Les fichiers fournis:

doextension.sh extension_blop.sqh extension_toto.sqh extension_tutu.sqh

rendra extension_blop.sqh dépendante de extension_toto.sqh et
extension_tutu.sqh qui seront chargées avant lors du démarrage de la clef.

  • resetextension.sh: supprime ces dépendances
  • analyse.sh: affiche les dépendances de manière récurrentes.
  • emuleclef: emule le résultat (sans tenir compte des dépendances, c’est
    idiot de ma part)
  • nettoiefaitext.sh: En cas de souci à la fin de faitext.sh (oubli de terminer
    les processus lancés par exemple), il faut tout fermer et démonter. Ce script
    fait ça:
    nettoiefaitext.sh —> essaie de tout démonter
    nettoiefaitext.sh K —> tue les processus utilisant le système de fichier
    nettoiefaitext.sh D —> supprime les répertoires temporaires crées
    (var/tmp/file…)

Ces scripts sont plus efficaces que sauve-extension

Je regarde ça.
Merci encore françois.

Juste une question par simple curiosité, je ne suis pas sûr d’avoir bien compris, à quoi/qui sert-elle exactement?

bonjour
Je l’utilise pour mes élèves en isn (informatique et science du numérique) c’est une spécialité en TS (coef 2).
Elle est utilisée aussi pour les concours d’agrégation et capes de mathématiques.

Clef USB boutable formatté FAT32 (utilisable normalement donc) lançant un système linux (debian jessie 64 bits à l’heure actuellement), avec un système en lecture seule compressé (en gros au 1/3) composé d’un système de base et d’extensions optionnelles. Cette clef a évoluée.
Créee initaliment en 2007 pour les candidats libres de l’agrégation, elle est le support des concours d’agrégation interne et externe de Maths ainsi que sans doute le CAPES cette année.
Elle a en outre été le support de la clef ISN qui, comme le dit Limax a été (mal) distribuée lors de la création de l’option ISN.

François
Je dois faire les manipes depuis ma debian ou depuis la clef usb?

j’ai pour l’instant des erreurs

$ faitext.sh -b basesystem -n gvim

mount: type de système de fichiers « aufs » inconnu
mount: le point de montage /var//tmp/file4xGV26/proc n’existe pas

Il doit me manquer un paquet, j’ai bien pourtant installé aufs-tools
Je regarderai cet après midi

francois@athos:~$ dpkg -S /lib/modules/3.16.0-4-amd64/kernel/fs/aufs/aufs.ko
linux-image-3.16.0-4-amd64: /lib/modules/3.16.0-4-amd64/kernel/fs/aufs/aufs.ko
francois@athos:~$

Charle le module aufs, a priori c’est dans ta debian préférée… Note que ça marchera sur la clef (il y a les scripts, mais tu seras limité en mémoire)

Voilà un exemple de construction d’extension:

extension_apthttps.sqh est une extension implémentant le transport https. Tu l’as ici: http://clef.agreg.org/9.0/extension_apthttps.sqh.

Tu verras que l’extension du coup va dépendre de apthttps (amené à être intégré à la base), j’enlève cette dépendance avec resetextension. Ensuite, j’optimise la taille de l’extension avec -o (ça vire les fichiers /var/cache/apt/pkgcache.bin /var/cache/apt/srcpkgcache.bin). Tu as l’extension non testée obtenue sur http://clef.agreg.org/9.0/extension_gvim.sqh

`francois@athos:~/Clef/C9.0$ faitext.sh -b basesystem -e extension_apthttps.sqh -m -n gvim

Parallel unsquashfs: Using 4 processors
11 inodes (7 blocks) to write

[===================================================================|] 7/7 100%
created 7 files
created 13 directories
created 0 symlinks
created 0 devices
created 0 fifos
root@athos:/# apt-get update
Réception de : 1 http://ftp.fr.debian.org experimental InRelease [107 kB]
Ign http://ftp.fr.debian.org jessie InRelease
Ign http://ftp.fr.debian.org stable InRelease
Réception de : 2 http://ftp.fr.debian.org jessie Release.gpg [2 373 B]
Réception de : 3 http://security.debian.org jessie/updates InRelease [63,1 kB]
Réception de : 4 http://ftp.fr.debian.org stable Release.gpg [2 373 B]
Réception de : 5 http://ftp.fr.debian.org experimental/main amd64 Packages/DiffIndex [27,8 kB]
Réception de : 6 http://security.debian.org jessie/updates/main Sources [162 kB]
Ign http://boisson.homeip.net jessie InRelease
Réception de : 7 http://ftp.fr.debian.org experimental/contrib amd64 Packages/DiffIndex [25,7 kB]
Ign http://backports.debian.org jessie-backports InRelease
Réception de : 8 http://ftp.fr.debian.org experimental/non-free amd64 Packages/DiffIndex [24,6 kB]
Réception de : 9 http://ftp.fr.debian.org experimental/contrib Translation-en/DiffIndex [13,3 kB]
Ign http://boisson.homeip.net ./ InRelease
Réception de : 10 http://ftp.fr.debian.org experimental/main Translation-en/DiffIndex [27,8 kB]
Réception de : 11 http://boisson.homeip.net jessie Release.gpg [198 B]
Réception de : 12 http://ftp.fr.debian.org experimental/non-free Translation-en/DiffIndex [25,3 kB]
Réception de : 13 http://security.debian.org jessie/updates/main amd64 Packages [305 kB]
Réception de : 14 http://ftp.fr.debian.org jessie Release [148 kB]
Ign http://backports.debian.org jessie-backports Release.gpg
Ign http://boisson.homeip.net ./ Release.gpg
Réception de : 15 http://boisson.homeip.net jessie Release [3 897 B]
Réception de : 16 http://ftp.fr.debian.org stable Release [148 kB]
Ign http://boisson.homeip.net ./ Release
Ign http://backports.debian.org jessie-backports Release
Réception de : 17 http://boisson.homeip.net jessie/divers amd64 Packages [9 838 B]
Réception de : 18 http://security.debian.org jessie/updates/main Translation-en [163 kB]
Réception de : 19 http://ftp.fr.debian.org experimental/contrib Translation-en [4 413 B]
Réception de : 20 http://ftp.fr.debian.org experimental/main Translation-en [223 kB]
Réception de : 21 http://ftp.fr.debian.org experimental/non-free Translation-en [902 B]
Réception de : 22 http://ftp.fr.debian.org jessie/main Sources [7 059 kB]
Err http://backports.debian.org jessie-backports/main amd64 Packages

Ign http://boisson.homeip.net jessie/divers Translation-fr
Err http://backports.debian.org jessie-backports/main amd64 Packages

Ign http://boisson.homeip.net jessie/divers Translation-en
Err http://boisson.homeip.net ./ Sources
404 Not Found
Err http://backports.debian.org jessie-backports/main amd64 Packages

Err http://backports.debian.org jessie-backports/main amd64 Packages
server certificate verification failed. CAfile: /etc/ssl/certs/ca-certificates.crt CRLfile: none
Réception de : 23 http://ftp.fr.debian.org jessie/contrib Sources [50,8 kB]
Réception de : 24 http://ftp.fr.debian.org jessie/non-free Sources [99,0 kB]
Ign http://backports.debian.org jessie-backports/main Translation-fr
Réception de : 25 http://ftp.fr.debian.org jessie/main amd64 Packages [6 787 kB]
Ign http://backports.debian.org jessie-backports/main Translation-en
Réception de : 26 http://ftp.fr.debian.org jessie/contrib amd64 Packages [50,2 kB]
Réception de : 27 http://ftp.fr.debian.org jessie/non-free amd64 Packages [83,6 kB]
Réception de : 28 http://ftp.fr.debian.org jessie/contrib Translation-en [38,5 kB]
Réception de : 29 http://ftp.fr.debian.org jessie/main Translation-en [4 583 kB]
Réception de : 30 http://ftp.fr.debian.org jessie/non-free Translation-en [72,3 kB]
Réception de : 31 http://ftp.fr.debian.org stable/main amd64 Packages [6 787 kB]
Réception de : 32 http://ftp.fr.debian.org stable/contrib amd64 Packages [50,2 kB]
Réception de : 33 http://ftp.fr.debian.org stable/non-free amd64 Packages [83,6 kB]
Réception de : 34 http://ftp.fr.debian.org stable/contrib Translation-en [38,5 kB]
Réception de : 35 http://ftp.fr.debian.org stable/main Translation-en [4 583 kB]
Réception de : 36 http://ftp.fr.debian.org stable/non-free Translation-en [72,3 kB]
Réception de : 37 http://ftp.fr.debian.org experimental/main amd64 Packages [371 kB]
Réception de : 38 http://ftp.fr.debian.org experimental/contrib amd64 Packages [6 952 B]
Réception de : 39 http://ftp.fr.debian.org experimental/non-free amd64 Packages [1 284 B]
Réception de : 40 http://ftp.fr.debian.org jessie/main Translation-fr [846 kB]
Réception de : 41 http://ftp.fr.debian.org stable/main Translation-fr [846 kB]
33,9 Mo réceptionnés en 1min 45s (321 ko/s)
W: Impossible de récupérer http://boisson.homeip.net/sources/./Sources 404 Not Found

W: Impossible de récupérer http://backports.debian.org/debian-backports/dists/jessie-backports/main/binary-amd64/Packages server certificate verification failed. CAfile: /etc/ssl/certs/ca-certificates.crt CRLfile: none

E: Le téléchargement de quelques fichiers d’index a échoué, ils ont été ignorés, ou les anciens ont été utilisés à la place.
root@athos:/# apt-get install vim-gtk
Lecture des listes de paquets… Fait
Construction de l’arbre des dépendances
Lecture des informations d’état… Fait
Les paquets supplémentaires suivants seront installés :
liblua5.2-0 libruby2.1 libyaml-0-2 vim-gui-common vim-runtime
Paquets suggérés :
cscope vim-doc ttf-dejavu
Les NOUVEAUX paquets suivants seront installés :
liblua5.2-0 libruby2.1 libyaml-0-2 vim-gtk vim-gui-common vim-runtime
0 mis à jour, 6 nouvellement installés, 0 à enlever et 118 non mis à jour.
Il est nécessaire de prendre 9 785 ko dans les archives.
Après cette opération, 44,6 Mo d’espace disque supplémentaires seront utilisés.
Souhaitez-vous continuer ? [O/n]
Réception de : 1 http://ftp.fr.debian.org/debian/ jessie/main liblua5.2-0 amd64 5.2.3-1.1 [82,4 kB]
Réception de : 2 http://ftp.fr.debian.org/debian/ jessie/main libyaml-0-2 amd64 0.1.6-3 [50,4 kB]
Réception de : 3 http://ftp.fr.debian.org/debian/ jessie/main vim-gui-common all 2:7.4.488-7 [149 kB]
Réception de : 4 http://ftp.fr.debian.org/debian/ jessie/main vim-runtime all 2:7.4.488-7 [5 047 kB]
Réception de : 5 http://ftp.fr.debian.org/debian/ jessie/main libruby2.1 amd64 2.1.5-2+deb8u3 [3 290 kB]
Réception de : 6 http://ftp.fr.debian.org/debian/ jessie/main vim-gtk amd64 2:7.4.488-7 [1 165 kB]
9 785 ko réceptionnés en 1min 40s (97,4 ko/s)
E: Impossible d’écrire le journal (Est-ce que /dev/pts est monté ?) - posix_openpt (2: Aucun fichier ou dossier de ce type)
Sélection du paquet liblua5.2-0:amd64 précédemment désélectionné.
(Lecture de la base de données… 63303 fichiers et répertoires déjà installés.)
Préparation du dépaquetage de …/liblua5.2-0_5.2.3-1.1_amd64.deb …
Dépaquetage de liblua5.2-0:amd64 (5.2.3-1.1) …
Sélection du paquet libyaml-0-2:amd64 précédemment désélectionné.
Préparation du dépaquetage de …/libyaml-0-2_0.1.6-3_amd64.deb …
Dépaquetage de libyaml-0-2:amd64 (0.1.6-3) …
Sélection du paquet vim-gui-common précédemment désélectionné.
Préparation du dépaquetage de …/vim-gui-common_2%3a7.4.488-7_all.deb …
Dépaquetage de vim-gui-common (2:7.4.488-7) …
Sélection du paquet vim-runtime précédemment désélectionné.
Préparation du dépaquetage de …/vim-runtime_2%3a7.4.488-7_all.deb …
Ajout de « détournement de /usr/share/vim/vim74/doc/help.txt en /usr/share/vim/vim74/doc/help.txt.vim-tiny par vim-runtime »
Ajout de « détournement de /usr/share/vim/vim74/doc/tags en /usr/share/vim/vim74/doc/tags.vim-tiny par vim-runtime »
Dépaquetage de vim-runtime (2:7.4.488-7) …
Sélection du paquet libruby2.1:amd64 précédemment désélectionné.
Préparation du dépaquetage de …/libruby2.1_2.1.5-2+deb8u3_amd64.deb …
Dépaquetage de libruby2.1:amd64 (2.1.5-2+deb8u3) …
Sélection du paquet vim-gtk précédemment désélectionné.
Préparation du dépaquetage de …/vim-gtk_2%3a7.4.488-7_amd64.deb …
Dépaquetage de vim-gtk (2:7.4.488-7) …
Traitement des actions différées (« triggers ») pour mime-support (3.58) …
Traitement des actions différées (« triggers ») pour desktop-file-utils (0.22-1) …
Traitement des actions différées (« triggers ») pour man-db (2.7.0.2-5) …
Paramétrage de liblua5.2-0:amd64 (5.2.3-1.1) …
Paramétrage de libyaml-0-2:amd64 (0.1.6-3) …
Paramétrage de vim-gui-common (2:7.4.488-7) …
Paramétrage de vim-runtime (2:7.4.488-7) …
Processing /usr/share/vim/addons/doc
Paramétrage de libruby2.1:amd64 (2.1.5-2+deb8u3) …
Paramétrage de vim-gtk (2:7.4.488-7) …
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/vim » (vim) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/vimdiff » (vimdiff) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/rvim » (rvim) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/rview » (rview) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/vi » (vi) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/view » (view) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/ex » (ex) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/editor » (editor) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/gvim » (gvim) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/gview » (gview) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/rgview » (rgview) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/rgvim » (rgvim) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/evim » (evim) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/eview » (eview) en mode automatique
update-alternatives: utilisation de « /usr/bin/vim.gtk » pour fournir « /usr/bin/gvimdiff » (gvimdiff) en mode automatique
Traitement des actions différées (« triggers ») pour libc-bin (2.19-18+deb8u2) …
root@athos:/# exit
extension_apthttps
extension_apthttps
Finalisation de gvim
Parallel mksquashfs: Using 4 processors
Creating 4.0 filesystem on extension_gvim.sqh, block size 131072.
[=============================================================|] 3417/3417 100%

Exportable Squashfs 4.0 filesystem, gzip compressed, data block size 131072
compressed data, compressed metadata, compressed fragments, compressed xattrs
duplicates are removed
Filesystem size 56770.35 Kbytes (55.44 Mbytes)
43.02% of uncompressed filesystem size (131963.33 Kbytes)
Inode table size 29188 bytes (28.50 Kbytes)
29.24% of uncompressed inode table size (99823 bytes)
Directory table size 28125 bytes (27.47 Kbytes)
43.88% of uncompressed directory table size (64094 bytes)
Number of duplicate files found 59
Number of inodes 2968
Number of files 2598
Number of fragments 192
Number of symbolic links 72
Number of device nodes 0
Number of fifo nodes 0
Number of socket nodes 0
Number of directories 298
Number of ids (unique uids + gids) 3
Number of uids 2
root (0)
man (6)
Number of gids 2
root (0)
adm (4)
francois@athos:~/Clef/C9.0$ analyse.sh extension_gvim.sqh
extension_apthttps.sqh extension_gvim.sqh
francois@athos:~/Clef/C9.0$ resetextension.sh extension_g
extension_geogebra.sqh extension_gvim.sqh
francois@athos:~/Clef/C9.0$ resetextension.sh extension_gvim.sqh
francois@athos:~/Clef/C9.0$ analyse.sh extension_gvim.sqh extension_gvim.sqh
francois@athos:~/Clef/C9.0$ ls -l extension_gvim.sqh
-rw-r–r-- 1 francois francois 58134528 oct. 1 11:24 extension_gvim.sqh
francois@athos:~/Clef/C9.0$ faitext.sh -b basesystem -m -o -n gvim
Parallel unsquashfs: Using 4 processors
2697 inodes (3489 blocks) to write

[=============================================================/] 3489/3489 100%
created 2598 files
created 298 directories
created 72 symlinks
created 0 devices
created 0 fifos
root@athos:/# exit
Finalisation de gvim
ls: impossible d’accéder à gvim.dir/var/cache/apt/archives/*.deb: Aucun fichier ou dossier de ce type
rm: impossible de supprimer « gvim.dir/var/lib/apt/lists/partial »: est un dossier
Parallel mksquashfs: Using 4 processors
Creating 4.0 filesystem on extension_gvim.sqh, block size 131072.
[=============================================================-] 2723/2723 100%

Exportable Squashfs 4.0 filesystem, gzip compressed, data block size 131072
compressed data, compressed metadata, compressed fragments, compressed xattrs
duplicates are removed
Filesystem size 15593.97 Kbytes (15.23 Mbytes)
33.56% of uncompressed filesystem size (46472.26 Kbytes)
Inode table size 27488 bytes (26.84 Kbytes)
28.70% of uncompressed inode table size (95777 bytes)
Directory table size 27660 bytes (27.01 Kbytes)
45.40% of uncompressed directory table size (60919 bytes)
Number of duplicate files found 50
Number of inodes 2925
Number of files 2555
Number of fragments 185
Number of symbolic links 72
Number of device nodes 0
Number of fifo nodes 0
Number of socket nodes 0
Number of directories 298
Number of ids (unique uids + gids) 3
Number of uids 2
root (0)
man (6)
Number of gids 2
root (0)
adm (4)
francois@athos:~/Clef/C9.0$ ls -l extension_gvim.sqh
-rw-r–r-- 1 francois francoi`

Je crois que j’ai compris. C’est parceque j’utilise le noyau 4.6.0 et le module est:
/lib/modules/4.6.0-0.bpo.1-amd64/kernel/fs/autofs4/autofs4.ko
et du coup le nom n’est pas le même.

Hum, pas sur que ça soit ça. autofs n’est pas la même chose je crois

En bootant avec le 3.16.0-4-a cela fonctionne. :grinning:

edit: Je suis nul ce n’est pas aufs4.ko mais autofs4.ko donc je n’est pas le module pour mon noyau.

Hum, bizarre, Linus n’aime pas aufs mais debian le mettait en standard dans ses noyaux…
Bon je t’ai mis
http://clef.agreg.org/9.0/basesystem
http://clef.agreg.org/9.0/extension_dpkg-9.0.sqh
une nouvelle base contenant le transport https ainsi que les scripts

Met les sur ta clef

[quote=“fran.b, post:258, topic:57939”]
Hum, bizarre, Linus n’aime pas aufs mais debian le mettait en standard dans ses noyaux…
[/quote]J’ai résolu mon problème en installant de testing le paquet aufs-dkms.

$ acse aufs-dkms
aufs-dkms - DKMS files to build and install aufs

De toute façon je passe ma dbian en testing (ou sid) pendant le vacances de toussaint.

edit: C’est tout bon je viens de faire et tester ma 1° extension.
L’extension indispensable sans laquelle je ne peux rien faire c’est vim

Merci à vous deux pour les réponses. :slight_smile: