Suivant: Modules des images, Précédent: Instancier une image, Monter: Créer des images systèmes [Table des matières][Index]
La commande guix system image
peut, comme nous l’avons vu plus
haut, prendre un fichier contenant une déclaration d’image
comme
argument et produire une image disque à partir de celui-ci. Cette même
commande peut aussi gérer un fichier contenant une déclaration
operating-system
comme argument. Dans ce cas, comment un
operating-system
est-il transformé en une image ?
C’est là que l’enregistrement image-type
intervient. Cet
enregistrement définit comment transformer un enregistrement
operating-system
en un enregistrement image
.
C’est le type de donnée représentant un type d’image.
name
Le nom du type d’image, en tant que symbole obligatoire, par exemple
'efi32-raw
.
constructor
Le constructeur du type d’image, en tant que procédure obligatoire qui prend
un enregistrement operating-system
comme argument et renvoie un
enregistrement image
.
Il y a plusieurs enregistrements image-type
fournis par les modules
(gnu system image)
et (gnu system images …)
.
Construit une image basée sur l’image efi-disk-image
.
Construit une image basée sur l’image efi32-disk-image
.
Construit une image basée sur l’image efi-disk-image
mais avec le
format d’image compressed-qcow2
.
Construit une image compressée basée sur l’image iso9660-image
.
Construit une image basée sur l’image iso9660-image
mais avec le
champ compression?
à #false
.
Construit une image basée sur limage docker-image
.
Construit une image MBR avec une seule partition commençant à l’adresse
1024 Kio
. C’est utile pour laisser la place pour installer un
chargeur d’amorçage dans l’intervalle post-MBR.
Construit une image qui cible la machine Pinebook Pro. L’image MBR contient
une seule partition commençant à l’adresse 9 Mio
. Le chargeur
d’amorçage u-boot-pinebook-pro-rk3399-bootloader
sera installé dans
l’intervalle.
Construit une image qui cible la machine Rock64. L’image MBR contient une
seule partition commençant à l’adresse 16 Mio
. Le chargeur d’amorçage
u-boot-rock64-rk3328-bootloader
sera installé dans l’intervalle.
Construit une image qui cible la machine Novena. Elle a les mêmes
caractéristiques que raw-with-offset-image-type
.
Construit une image qui cible la machine Pine64. Elle a les mêmes
caractéristiques que raw-with-offset-image-type
.
Construit une image qui cible une machine i386
qui exécute le noyau
Hurd. L’image MBR contient une seule partition ext2 avec des drapeaux
file-system-options
spécifiques.
Construit une image similaire à celle construit par hurd-image-type
mais avec le format
'compressed-qcow2
.
Construit une image pour le WSL2 (sous-système Linux de Windows 2). Elle peut être importée en exécutant :
wsl --import Guix ./guix ./wsl2-image.tar.gz wsl -d Guix
Donc, revenons à la commande guix system image
qui prend une
déclaration operating-system
comme argument. Par défaut,
efi-raw-image-type
est utilisé pour transformer
l’operating-system
fourni en une image amorçable.
Pour utiliser un image-type
différent, vous pouvez utiliser l’option
--image-type
. L’option --list-image-types
listera tous les
types d’images pris en charge. C’est une liste textuelle de toutes les
variables image-type
décrites plus haut (voir Invoquer guix system
).
Suivant: Modules des images, Précédent: Instancier une image, Monter: Créer des images systèmes [Table des matières][Index]