Documentation globale de liveUSB Version 1.1-sio-gnome-stretch-stretch Gregory DAVID <[email protected]> 13/09/2018 Table des matières 1 Présentation du système liveUSB 3 1.1 Logiciels installés..........................................3 1.2 Comparaison avec ClefAgreg/Clef ISN............................... 13 2 Téléchargement et utilisation du système liveUSB 15 2.1 Pour utiliser un système déjà configuré et testé (méthode la plus simple).............. 15 2.2 Pour configurer le système pour d’autres besoins (méthode plus complète)............ 15 3 Captures d’écran 17 3.1 Généralités.............................................. 17 3.2 Exemples d’applications préinstallées (ici en version 1.1)...................... 18 4 Documentation utilisateur 21 4.1 Comment permettre le démarrage du système sur la clé....................... 21 4.2 Configuration par défaut....................................... 21 4.3 Comment installer un paquet manquant............................... 22 4.4 Erreurs ou avertissements possibles................................. 22 5 Documentation distributeur 23 5.1 Téléchargement de l’image système................................. 23 5.2 Transfert de l’image système et configuration de la persistance................... 23 5.3 Et si on dispose déjà d’une clef liveUSB?.............................. 28 6 Documentation constructeur 29 6.1 Prologue............................................... 29 6.2 Mécanisme général d’une construction ............................... 29 6.3 Mise en œuvre de la construction.................................. 30 7 Documentation contributeur 33 7.1 Vous rencontrez des dysfonctionnements.............................. 33 7.2 Vous ne trouvez pas la documentation adaptée à votre besoin.................... 35 7.3 Vous voulez apporter votre aide, votre savoir-faire ou votre expertise................ 35 8 Installation de live-build pour les utilisateurs sans Debian GNU/Linux 39 8.1 Récupération du code source..................................... 39 8.2 Installation de live-build .................................... 39 9 Structure de travail et répartition des rôles 41 A Nomenclature 43 B Pré-requis 45 i C Contributions 47 ii Documentation globale de liveUSB, Version 1.1-sio-gnome-stretch-stretch Author Gregory DAVID <[email protected]> Release 1.1 Date 13/09/2018 Copyright GNU Free Documentation License 1.3 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts Table des matières 1 Documentation globale de liveUSB, Version 1.1-sio-gnome-stretch-stretch 2 Table des matières CHAPITRE 1 Présentation du système liveUSB Clef USB démarrable, support de l”enseignement de la spécialité ISN en Terminale S (notamment, mais peut être construite pour d’autres usages : Physique/Chimie, Mathématiques, STI2D, etc.). Contient une version adaptée de Debian GNU/Linux. C’est une clef persistante (les modifications sont conservées entre les redémarrages). 1.1 Logiciels installés Voir la liste des paquets installés 1. 1.1.1 Représentation de l’information Représentation binaire — bless 2 — hexedit 3 — shed 4 — wxhexeditor 5 Opérations booléennes — logisim 6 1. https://git.framasoft.org/groolot/liveUSB/blob/testing/SYSTEME.rst#liste-des-paquets-install%C3%A9s 2. https://packages.debian.org/stretch/bless 3. https://packages.debian.org/stretch/hexedit 4. https://packages.debian.org/stretch/shed 5. https://packages.debian.org/stretch/wxhexeditor 6. https://packages.debian.org/stretch/logisim 3 Documentation globale de liveUSB, Version 1.1-sio-gnome-stretch-stretch Numérisation — gimp 7 — gimp-data-extras 8 — gimp-plugin-registry 9 — gimp-texturize 10 — inkscape 11 — xsane 12 Formats de données — bless 13 — fontforge 14 — gdb 15 — hexedit 16 — python3 17 — shed 18 — wxhexeditor 19 Compression — file-roller 20 — unar 21 — unrar-free 22 — unzip 23 — zip 24 Structuration et organisation de l’information — gparted 25 — lxterminal 26 — nautilus 27 — nautilus-scripts-manager 28 — nautilus-share 29 — nautilus-wipe 30 — xterm 31 7. https://packages.debian.org/stretch/gimp 8. https://packages.debian.org/stretch/gimp-data-extras 9. https://packages.debian.org/stretch/gimp-plugin-registry 10. https://packages.debian.org/stretch/gimp-texturize 11. https://packages.debian.org/stretch/inkscape 12. https://packages.debian.org/stretch/xsane 13. https://packages.debian.org/stretch/bless 14. https://packages.debian.org/stretch/fontforge 15. https://packages.debian.org/stretch/gdb 16. https://packages.debian.org/stretch/hexedit 17. https://packages.debian.org/stretch/python3 18. https://packages.debian.org/stretch/shed 19. https://packages.debian.org/stretch/wxhexeditor 20. https://packages.debian.org/stretch/file-roller 21. https://packages.debian.org/stretch/unar 22. https://packages.debian.org/stretch/unrar-free 23. https://packages.debian.org/stretch/unzip 24. https://packages.debian.org/stretch/zip 25. https://packages.debian.org/stretch/gparted 26. https://packages.debian.org/stretch/lxterminal 27. https://packages.debian.org/stretch/nautilus 28. https://packages.debian.org/stretch/nautilus-scripts-manager 29. https://packages.debian.org/stretch/nautilus-share 30. https://packages.debian.org/stretch/nautilus-wipe 31. https://packages.debian.org/stretch/xterm 4 Chapitre 1. Présentation du système liveUSB Documentation globale de liveUSB, Version 1.1-sio-gnome-stretch-stretch 1.1.2 Algorithmique — algobox 32 — dia 33 — logisim 34 — plantuml 35 — umbrello 36 1.1.3 Langages et programmation — arduino 37 — autoconf 38 — automake 39 — build-essential 40 — cmake 41 — codelite 42 — codelite-plugins 43 — eclipse 44 — eclipse-cdt 45 — emacs 46 — gcc-doc 47 — geany 48 — geany-plugin-py 49 — gedit 50 — git 51 — graphviz 52 — ipython3 53 — ipython3-qtconsole 54 — libtool 55 — make 56 — manpages-dev 57 — pd-boids 58 — pd-chaos 59 32. https://packages.debian.org/stretch/algobox 33. https://packages.debian.org/stretch/dia 34. https://packages.debian.org/stretch/logisim 35. https://packages.debian.org/stretch/plantuml 36. https://packages.debian.org/stretch/umbrello 37. https://packages.debian.org/stretch/arduino 38. https://packages.debian.org/stretch/autoconf 39. https://packages.debian.org/stretch/automake 40. https://packages.debian.org/stretch/build-essential 41. https://packages.debian.org/stretch/cmake 42. https://packages.debian.org/stretch/codelite 43. https://packages.debian.org/stretch/codelite-plugins 44. https://packages.debian.org/stretch/eclipse 45. https://packages.debian.org/stretch/eclipse-cdt 46. https://packages.debian.org/stretch/emacs 47. https://packages.debian.org/stretch/gcc-doc 48. https://packages.debian.org/stretch/geany 49. https://packages.debian.org/stretch/geany-plugin-py 50. https://packages.debian.org/stretch/gedit 51. https://packages.debian.org/stretch/git 52. https://packages.debian.org/stretch/graphviz 53. https://packages.debian.org/stretch/ipython3 54. https://packages.debian.org/stretch/ipython3-qtconsole 55. https://packages.debian.org/stretch/libtool 56. https://packages.debian.org/stretch/make 57. https://packages.debian.org/stretch/manpages-dev 58. https://packages.debian.org/stretch/pd-boids 59. https://packages.debian.org/stretch/pd-chaos 1.1. Logiciels installés 5 Documentation globale de liveUSB, Version 1.1-sio-gnome-stretch-stretch — pd-fftease 60 — pd-freeverb 61 — pd-ggee 62 — pd-hcs 63 — pd-hid 64 — pd-iemlib 65 — pd-iemnet 66 — pd-libdir 67 — pd-osc 68 — pd-zexy 69 — php-cli 70 — php-readline 71 — plantuml 72 — puredata 73 — puredata-extra 74 — puredata-import 75 — puredata-utils 76 — pylint 77 — pylint-doc 78 — python-astroid 79 — python-logilab-common 80 — python-pyo 81 — python3-doc 82 — python3-kivy 83 — python3-liblo 84 — python3-lxml 85 — python3-matplotlib 86 — python3-numpy 87 — python3-pil 88 — python3-pil.imagetk 89 — python3-pip 90 — python3-psycopg2 91 60. https://packages.debian.org/stretch/pd-fftease 61. https://packages.debian.org/stretch/pd-freeverb 62. https://packages.debian.org/stretch/pd-ggee 63. https://packages.debian.org/stretch/pd-hcs 64. https://packages.debian.org/stretch/pd-hid 65. https://packages.debian.org/stretch/pd-iemlib 66. https://packages.debian.org/stretch/pd-iemnet 67. https://packages.debian.org/stretch/pd-libdir 68. https://packages.debian.org/stretch/pd-osc 69. https://packages.debian.org/stretch/pd-zexy 70. https://packages.debian.org/stretch/php-cli 71. https://packages.debian.org/stretch/php-readline 72. https://packages.debian.org/stretch/plantuml 73. https://packages.debian.org/stretch/puredata 74. https://packages.debian.org/stretch/puredata-extra 75. https://packages.debian.org/stretch/puredata-import 76. https://packages.debian.org/stretch/puredata-utils 77. https://packages.debian.org/stretch/pylint 78. https://packages.debian.org/stretch/pylint-doc 79. https://packages.debian.org/stretch/python-astroid 80. https://packages.debian.org/stretch/python-logilab-common 81. https://packages.debian.org/stretch/python-pyo 82. https://packages.debian.org/stretch/python3-doc 83. https://packages.debian.org/stretch/python3-kivy 84. https://packages.debian.org/stretch/python3-liblo 85. https://packages.debian.org/stretch/python3-lxml 86. https://packages.debian.org/stretch/python3-matplotlib 87. https://packages.debian.org/stretch/python3-numpy 88. https://packages.debian.org/stretch/python3-pil 89. https://packages.debian.org/stretch/python3-pil.imagetk 90. https://packages.debian.org/stretch/python3-pip 91. https://packages.debian.org/stretch/python3-psycopg2 6 Chapitre 1. Présentation du système liveUSB Documentation