L'extension de la partition de la carte : | ||
---|---|---|
Prev | Chapter 3. Production des cartes système : | Next |
Le choix de la virtualbox est lié au fait que nous n'avons pas réllement besoin d'utiliser le système Debian sur une machine dédiée. Dans un avenir proche les opérations de réplication des images pourraient se faire sous linux de A à Z une fois les enseignants accompagnateurs du déploiement formés.
Une alternative a été développée par le projet Tremplin, une clef Debian Live Stretch persistante. C'est à partir de cette solution que les collègues seront initiés au système Linux. Ils pourrons alors choisir d'adopter la VirtualBox ou de travailler à partir de la clef Live sur leur machine.
C'est gparted qui permet d'étendre la partition de la carte micro sd. Cette extension donne à l'élève une surface disponible de 22 Go ce qui est très largement suffisant pour ce que nous envisageons de lui faire produire sur la RaspberryPi3 Tremplin.