L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →

Différences

Ci-dessous, les différences entre deux révisions de la page.

--- utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [01/08/2019 13:30]
gonzoleri [Utilisation]
+++ utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [02/08/2019 23:48]
gonzoleri [Utilisation]
@@ Ligne 145: / Ligne 145: @@
 ;; Si vous voulez juste installer GuixSD, (bootloader (grub-configuration (target "/dev/sda") sera suffisant.
 (bootloader (grub-configuration (target "/dev/sda") (menu-entries        ;; Ajout de menu-entries
-	               (list                                             ;; Déclaration de la liste d'entrées
+	               (list                                             ;; Liste d'entrées
 			(menu-entry                                      ;; Entrons
 		        (label "Debian GNU/Linux")                       ;; Titre de la distribution
@@ Ligne 307: / Ligne 307: @@
 ====Utilisation de manifest====
-<note tip>"Pour gérer le profil de l'utilisat(ric(e)ur, de manière **déclarative**, comme des packages" (iyzsong) =)</note>
+<note tip>"Pour gérer le profil de l'utilisat(ric(e)ur, de manière **déclarative**, comme des packages" (**iyzsong**) =)</note>
 Il s'agit de confiner l'environnement logiciel dans le profil personnel.
@@ Ligne 500: / Ligne 500: @@
-====Maintenance====
+==== Maintenance ====
 Les 2 commandes suivantes ont déjà été évoquées plus haut, mais je pense qu'elles ont également leur place ici.

utilisateurs/gonzoleri/tutos/guixsd-0.16-en-dual-boot-avec-debian-testing-sid.txt · Dernière modification: 27/08/2020 17:27 par gonzoleri

Debian-facile

Différences

Pied de page des forums