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 [22/04/2019 15:25]
gonzoleri [Utilisation]
+++ utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [30/07/2019 13:56]
gonzoleri [Utilisation]
@@ Ligne 2: / Ligne 2: @@
   * Objet : Installation en Dual Boot
-  * Niveau requis :{{tag>avisé}}
+  * Niveau requis :{{tag>avisé}} L'installation de **Guix System 1.0.1** ne devrait pas être très différente à effectuer (non testé).
   * Commentaires : [[https://www.gnu.org/software/guix/manual/html_node/GNU-Free-Documentation-License.html]]
   * Débutant, à savoir : [[https://www.gnu.org/software/guix/manual/fr/guix.fr.html]] :-)
@@ Ligne 41: / Ligne 41: @@
 <note tip>Il est **hautement recommandé** de télécharger et graver **Supergrub2disk** (ou bien de le copier sur une clé USB), spécialement dans ces circonstances d'une installation en dual-boot avec Debian Testing/Sid.
-Cela peut réellement vous aider... Moi, les 2 fois où j'en ai eu besoin, il m'a servi avec succès.
+Cela peut réellement vous aider... Moi, les 2 fois [[utilisateurs:gonzoleri:tutos:installation-configuration-de-guixsd#supergrub2disk-o|où j'en ai eu besoin]], il m'a servi avec succès.
 **[[https://www.supergrubdisk.org/category/download/supergrub2diskdownload/]]**</note>
 ===== Installation =====
@@ Ligne 106: / Ligne 106: @@
 <code root># mkswap /dev/sda5</code>
 <code root># swapon /dev/sda5</code>
-**Procédons à l'installation**
+====C'est parti !====
 Avec les partitions cibles prêtes et la racine cible montée sur /mnt, on est bon. Premièrement :
 <code root># herd start cow-store /mnt</code>
@@ Ligne 117: / Ligne 117: @@
 Création du prochain fichier de configuration système (vide pour l'instant) :
 <code root># touch /etc/configuration/perso.scm</code>
-<note tip>Sinon vous pouvez éditer un fichier existant déjà dans **///etc/configuration//** (par exemple, “**desktop.scm**” ou “**bare-bones.scm**” et le modifier à votre guise).</note>
-Pour adapter la configuration de l'ordinateur à mes besoins, j'ai utilisé **vi** , ne connaissant que celui-ci.
+====Configuration en cours d'installation====
-Nano et Zile sont toutefois disponibles.
+<note tip>Vous avez également la possibilité d'éditer un fichier existant déjà dans **///etc/configuration//** (par exemple, “**desktop.scm**” ou “**bare-bones.scm**” et le modifier à votre guise).
-<code root># vi /etc/configuration/perso.scm</code>
+<code root># vi /etc/configuration/desktop.scm</code>
+<code root># vi /etc/configuration/bare-bones.scm</code>
+(**Nano** et **Zile** sont toutefois disponibles).</note>
+ <code root># vi /etc/configuration/perso.scm</code>
 <file scheme /etc/configuration/perso.scm>
 ;; Operating system configuration for a full
@@ Ligne 127: / Ligne 131: @@
 ;; gnome-shell
-(use-modules (gnu) (gnu system nss))                                      ; Le fichier est en langage sheme. Après quelque temps
+(use-modules (gnu) (gnu system nss))                                      ;; Le fichier est en langage guile scheme. Après
-(use-service-modules desktop networking ssh)                              ; d'utilisation, sa pratique est plus aisée.
+(use-service-modules desktop networking ssh)                              ;; un peu d'utilisation, sa pratique est plus aisée.
-(use-package-modules bootloaders certs gnome screen ssh)                  ; Module 'bootloaders' indispensable pour le Dual-boot.
+(use-package-modules bootloaders certs gnome screen ssh)                  ;; Module 'bootloaders' indispensable pour le Dual-boot.
 (operating-system
   (host-name "gnu")
   (timezone "Europe/Paris")
-  (locale "en_US.utf8")
+  (locale "fr_FR.utf8")
-;; Assuming /dev/sda is the target hard disk, and "my-root" is
+;; Assuming /dev/sda is the target hard disk, and "my-root" is the label of the target root file system,
-;; the label of the target root file system, and /dev/sda6 the
+;; and /dev/sda6 the target partition for the GuixSD installation.
-;; target partition for the GuixSD installation.
+;; La partition /dev/sda6 sera détectée par le système, pour cela, elle ne doit pas figurer ici.
-(bootloader (grub-configuration (target "/dev/sda") (menu-entries         ; Ajout de 'menu-entries'
+(bootloader (grub-configuration (target "/dev/sda") (menu-entries        ;; C'est bien "/dev/sda". Puis ajout de 'menu-entries'
-	               (list                                              ; Déclaration de la liste d'entrées
+	               (list                                             ;; Déclaration de la liste d'entrées
-			(menu-entry                                       ; Entrons dans le menu
+			(menu-entry                                      ;; Entrons dans le menu
-		        (label "Debian GNU/Linux")                        ; Titre de la distribution
+		        (label "Debian GNU/Linux")                       ;; Titre de la distribution
-	                (linux "/boot/vmlinuz-4.19.0-1-amd64")            ; Noyau à démarrer
+	                (linux "/boot/vmlinuz-4.19.0-1-amd64")           ;; Noyau à démarrer
-	                (linux-arguments '("root=/dev/sda1"))             ; Debian se trouve sur /dev/sda1
+	                (linux-arguments '("root=/dev/sda1"))            ;; Debian se trouve sur /dev/sda1
-	                (initrd "/boot/initrd.img-4.19.0-1-amd64"))))))   ; C'est parti pour le démarrage !
+	                (initrd "/boot/initrd.img-4.19.0-1-amd64"))))))  ;; C'est parti pour le démarrage !
 (file-systems (cons (file-system
@@ Ligne 166: / Ligne 170: @@
 ;; This is where we specify
 ;; system-wide packages.
-(packages (cons* gvfs                 ;for users mounts
+(packages (cons* gvfs                 ;; for users mounts
-                 nss-certs            ;for HTTPS access
+                 nss-certs            ;; for HTTPS access
                  screen
                  openssh
@@ Ligne 175: / Ligne 179: @@
 ;; Cela devrait marcher si vous remplacez (gnome-desktop-service) par (service gnome-desktop-service-type)
 (services (cons* (service gnome-desktop-service-type)  ;; Testé, c'est bon.
-                %desktop-services))                    ;; 'console-keymap-service' est déprécié lui aussi
+                %desktop-services))
 ;; Allow resolution of '.local' host names with mDNS.
@@ Ligne 184: / Ligne 188: @@
 Une fois la préparation du fichier de configuration terminée, le nouveau système doit être initialisé (rappelez-vous que le système de fichiers racine cible est monté sur **/mnt**) :
 <code root># guix system init /mnt/etc/config.scm /mnt</code>
-Ceci copie tous les fichiers nécessaires et installe GRUB sur /dev/sda, à moins que vous ne passiez l’option **–no-bootloader** .
+Ceci copie tous les fichiers nécessaires et installe GRUB sur /dev/sda (à moins que vous ne passiez l’option //–no-bootloader// m( .
 Cette commande peut déclencher des téléchargements ou des versions des packages manquants, ce qui peut prendre un certain temps.
@@ Ligne 227: / Ligne 231: @@
-**Mises à jour**
+====Mises-à-jour====
 (A faire 3 ou 4 fois par mois)
@@ Ligne 251: / Ligne 255: @@
 <code root># reboot</code>
+<note tip>**Remarque :** Lors d'une mise-à-jour, la commande **guix package -u** effectue l'opération intégralement. Par exemple, chez moi le paquetage //webkitgtk// met très longtemps à se construire sous forme de dérivation. Idem pour //ungoogled-chromium//. Pour gagner du temps, j'ai employé la commande suivante :
-**Maintenance**
-J'ai lancé les 2 commandes suivantes :
+<code user>$ guix package --upgrade . --do-not-upgrade webkitgtk ungoogled-chromium</code>
+La mise-à-jour s'est effectuée beaucoup plus rapidement et, un redémarrage plus tard, Epiphany et Chromium se lancent et fonctionnent parfaitement bien. <note important>Bien entendu, il arrivera un moment où la mise-à-jour intégrale redeviendra nécessaire. Il faudra à nouveau faire preuve de patience...</note> À moins que... l'écriture d'un fichier 'manifest' me permette de confiner mon profil logiciels de manière satisfaisante. En effet les mises-à-jour depuis un fichier manifest sont beaucoup plus rapides. Reste à mettre [[utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid#utilisation-de-manifest|en place]] cette pratique... **Infos :** [[https://www.gnu.org/software/guix/manual/fr/html_node/Invoquer-guix-package.html#profile_002dmanifest]]</note>
+====Installation de logiciels====
+Avec GuixSD, les installations de logiciels peuvent se faire depuis le compte user.
+<code user>$ guix package -i markdown</code>
+**markdown** convertit un ficher texte en fichier html en une seule ligne de commande.
+<code user>$ guix package -i ungoogled-chromium</code>
+**ungoogled-chromium** me semble plus rapide et plus abouti que Icecat.
+<code user>$ guix package -i mpv</code>
+**mpv** est un fork de mplayer. Légereté et fluidité à l'utilisation.
+Pour ce qui est de **//vim//**, j'ai préféré l'installer depuis le compte root.
+<code root># guix package -i vim</code>
+Suite à ces installations, le système conseille de lancer :
 <code user>$ export PATH="$HOME/.config/guix/current/bin:$PATH"</code>
 <code user>$ export INFOPATH="$HOME/.config/guix/current/share/info:$INFOPATH"</code>
@@ Ligne 263: / Ligne 295: @@
 **[[https://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-pull.html#Invoking-guix-pull]]**
-Avoir la garantie que 5 Go vont rester disponibles. Cette commande peut être lancée régulièrement :
+**Désinstallation de logiciels**
-<code user>guix gc -F 5G</code>
+Exemples :
-Suppression des générations vieilles de plus d'un mois :
+<code root># guix package -r vim</code>
-<code user>$ guix package --delete-generations=1m</code>
+<code user>$ guix package -r vlc</code>
-Une fois que ceci à été fait, une manière radicale de gagner davantage de place est de supprimer les fichiers inutiles en lançant le garbage collector (ramasse-miettes) sans arguments.
-Dans ce cas, quelques reconstructions et/ou téléchargements pourront être nécessaires, par ex. la chaîne de compilation. Cela se fera en toute transparence en prenant juste un peu plus de temps.
-<code user>$ guix gc --collect-garbage
+====Utilisation de manifest====
-....................................................................
-deleting `/gnu/store/trash'
-deleting unused links...
-note: currently hard linking saves 8874.56 MiB
-guix gc: 5043,55469 Mo libérés*</code>
-<note tip>Il existe d'autres manières plus pratiques mais c'est encore un peu flou pour moi<code user>$ man guix gc</code></note>
+<note tip>"Pour gérer le profil de l'utilisat(ric(e)ur, de manière **déclarative**, comme des packages" (iyzsong) =)</note>
-**Installation de logiciels**
+Il s'agit de confiner l'environnement logiciel dans le profil personnel.
+Les mises-à-jour se feront beaucoup plus rapidement, car elles seront relayées depuis un fichier **manifest.scm** qui sera créé dans mon ordinateur, plus exactement dans **~/.config/guix/**
-Avec GuixSD, les installations de logiciels peuvent se faire depuis le compte user.
+En voici les différentes étapes :
-Pour ce qui est de **//vim//**, j'ai préféré l'installer depuis le compte root.
+**1 -** Récupérer le script Guile suivant et l'enregistrer à la racine du dossier personnel sous le nom de **'manifest-to-manifest.scm'**.
-<code root># guix package -i vim</code>
+<file scheme manifest-to-manifest.scm>
-<code user>$ guix package -i markdown</code>
+;; Run with:
-(markdown convertit un ficher texte en un fichier html en une seule ligne de commande).
+;;     guile -s FILE ~/.guix-profile
-<code user>$ guix package -i vlc</code>
+(use-modules (guix profiles)
+	     (ice-9 match)
+	     (ice-9 pretty-print))
-<code user>$ guix package -i mpv</code>
+(define (guix-manifest where)
+  (sort (map (lambda (entry)
+		     (let ((out (manifest-entry-output entry)))
+		       (if (string= out "out")
+			   (manifest-entry-name entry)
+			   (format #f "~a:~a"
+				   (manifest-entry-name entry)
+				   (manifest-entry-output entry)))))
+		   (manifest-entries (profile-manifest where)))
+	string<?))
-**mpv** est un fork de mplayer. Légereté et fluidité à l'utilisation.
+;; Thanks to Ivan Vilata-i-Balaguer for this:
+(define (guix-commit)
+  (let ((guix-manifest (profile-manifest (string-append (getenv "HOME") "/.config/guix/current"))))
+    (match (assq 'source (manifest-entry-properties (car (manifest-entries guix-manifest))))
+      (('source ('repository ('version 0) _ _
+			     ('commit commit) _ ...))
+       commit)
+      (_ #f))))
-**Désinstallation de logiciels**
+(match (command-line)
+  ((_ where)
+   (format #t ";; commit: ~a\n" (guix-commit))
+   (pretty-print
+    `(specifications->manifest
+      ',(guix-manifest where))))
+  (_ (error "Please provide the path to a Guix profile.")))
+</file>
-Exemples :
+**2 -** Appeler le script :
+<code user>$ guile -s manifest-to-manifest.scm ~/.guix-profile</code>
+<file bash Sortie de la commande>
+;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=0
+;;;       or pass the --no-auto-compile argument to disable.
+;;; compiling /home/hubert/manifest-to-manifest.scm
+;;; compiled /home/hubert/.cache/guile/ccache/2.2-LE-8-3.A/home/hubert/manifest-to-manifest.scm.go
+;; commit: 6c.....................................a
+(specifications->manifest
+  '("brasero"
+    "ffmpeg"
+    "gimp"
+    "gnumeric"
+    "inkscape"
+    "lynx"
+    "markdown"
+    "mpv"
+    "obs"
+    "qemu"
+    "quassel"
+    "racket"
+    "sbcl-next"
+    "ungoogled-chromium"
+    "wget"
+    "youtube-dl"
+    "youtube-viewer"))
+</file>
+**3 -** Création de ce nouveau fichier scheme (personnellement avec gedit) :
+<code user>$ gedit</code>
+<file scheme ~/.config/guix/manifest.scm>
+(specifications->manifest
+  '("brasero"
+    "ffmpeg"
+    "gimp"
+    "gnumeric"
+    "inkscape"
+    "lynx"
+    "markdown"
+    "mpv"
+    "obs"
+    "qemu"
+    "quassel"
+    "racket"
+    "sbcl-next"
+    "ungoogled-chromium"
+    "wget"
+    "youtube-dl"
+    "youtube-viewer"))
+</file>
+Je le nomme **manifest.scm** et l'enregistre dans **~/.config/guix/**
+**4 -** Arrive l'étape d'installation, de mise-à-jour, de compilation et de construction :
+<code user>$ guix package -m ~/.config/guix/manifest.scm</code>
+Et voilà un joli fichier manifest tout neuf.
+**Edit 29 juillet 2019 :** Sur la liste de diffusion {{ https://lists.gnu.org/mailman/listinfo/help-guix | }} Help-Guix j'ai reçu une réponse qui m'a permis d'adapter la syntaxe de la mise-à-jour.
+"L'option -u prend un argument optionnel, un regexp correspondant aux packages sur lesquels on agit. Il est préférable de passer explicitement en `-u.` dans le cas où cette commande est lancée depuis un "shell history". On peut alors juste ajouter n'importe quelle option voulue, sans qu'elles soit interprêtée comme argument vers -u."
+Ce qui donne :
+<code user>$ sudo -i guix pull && guix package -m ~/.config/guix/manifest.scm -u</code>
+Viennent ensuite les habituelles commandes :
+<code user>$ sudo -i guix system reconfigure /etc/config.scm</code>
+<code root># reboot</code>
+Mise-à-jour effectuée bien plus rapidement, ce qui ne va pas être négligeable, habitant en zone non dégroupée.
-<code root># guix gc -d vim</code>
+**manifest**, c'est bon... :-D **/Edit**
-<code user>$ guix gc -d youtube-viewer</code>
 **SSH**
-J'ai mis mon accès ssh pour ovh dans un signet **nautilus** et ça fonctionne.
+J'ai mis mon accès ssh pour ovh dans un signet **Fichiers** (Nautilus) et ça fonctionne.
-**MULTIMEDIA**
+====Multimédia====
 Téléchargement d'une vidéo :
@@ Ligne 323: / Ligne 449: @@
 <code user>$ mpv https://www.youtube.com/watch?v=-mfladpK0AA</code>
+Redéfinir le timing de début et de fin d'une vidéo :
-Conversion d'un fichier .mkv (ou .webm... etc.)
+<code user>$ ffmpeg -i test.mp4 -c copy -ss 00:01:23 -to 00:04:56 cut.mp4</code>
+Redéfinir le timing de début et de fin d'un morceau audio :
+<code user>$ ffmpeg -i test.mp3 -c copy -ss 00:01:23 -to 00:04:56 cut.mp3</code>
+Conversion d'un fichier .mkv (ou .webm... etc.) en **.mp4** :
 <code user>$ ffmpeg -i film-a-convertir.mkv -ab 128k -ac 2 -vcodec libx264 notre-produit-final.mp4</code>
@@ Ligne 345: / Ligne 479: @@
 <code root># dd if=$(guix system disk-image my-os.scm) of=/dev/sdc</code>
+====Maintenance====
+Les 2 commandes suivantes ont déjà été évoquées plus haut, mais je pense qu'elles ont également leur place ici.
+Elles sont à lancer peu après l'installation du système, celui-ci nous en informant en temps voulu :
+<code user>$ export PATH="$HOME/.config/guix/current/bin:$PATH"</code>
+<code user>$ export INFOPATH="$HOME/.config/guix/current/share/info:$INFOPATH"</code>
+Avoir la garantie que 5 Go vont rester disponibles. Cette commande peut être lancée régulièrement :
+<code user>guix gc -F 5G</code>
+Suppression des générations vieilles de plus d'un mois :
+<code user>$ guix package --delete-generations=1m</code>
+Une fois que ceci a été fait, une manière radicale de gagner davantage de place consiste à supprimer les fichiers inutiles en lançant le garbage collector (ramasse-miettes) sans arguments.
+<code user>$ guix gc --collect-garbage
+....................................................................
+deleting `/gnu/store/trash'
+deleting unused links...
+note: currently hard linking saves 8874.56 MiB
+guix gc: 5043,55469 Mo libérés*</code>
+<note important>Certaines reconstructions et téléchargements ultérieurs pourront alors être plus longs que prévus.
+<note tip>Il existe d'autres manières de faire plus fines, mais je ne les maîtrise pas pour l'instant...
+<code user>$ man guix gc</code></note></note>
 Ce système me donne toujours autant satisfaction malgré sa jeune existence, les quelques trucs manquants étant amplement comblés par une pratique quotidienne des plus enrichissantes. J'espère avoir le temps de donner ici d'autres exemples d'utilisation et de maintenance.
 {{ https://www.hubert-lombard.website/vignettes/GnuLinuxHurd-250x199.png |}}

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