Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [28/07/2019 10:35] gonzoleri [Utilisation] |
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [30/07/2019 14:01] gonzoleri [Utilisation] |
||
|---|---|---|---|
| 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. | <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> | **[[https://www.supergrubdisk.org/category/download/supergrub2diskdownload/]]**</note> | ||
| ===== Installation ===== | ===== Installation ===== | ||
| Ligne 122: | Ligne 122: | ||
| <code root># vi /etc/configuration/desktop.scm</code> | <code root># vi /etc/configuration/desktop.scm</code> | ||
| - | <code root># vi /etc/configuration/bare-bones.scm</code></note> | + | <code root># vi /etc/configuration/bare-bones.scm</code> |
| + | (**Nano** et **Zile** sont toutefois disponibles).</note> | ||
| - | (**Nano** et **Zile** sont toutefois disponibles). | + | <code root># vi /etc/configuration/perso.scm</code> |
| - | <code root># vi /etc/configuration/perso.scm</code> | + | |
| <file scheme /etc/configuration/perso.scm> | <file scheme /etc/configuration/perso.scm> | ||
| ;; Operating system configuration for a full | ;; Operating system configuration for a full | ||
| Ligne 131: | Ligne 131: | ||
| ;; gnome-shell | ;; gnome-shell | ||
| - | (use-modules (gnu) (gnu system nss)) ; Le fichier est en langage scheme. 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 | (operating-system | ||
| Ligne 143: | Ligne 143: | ||
| ;; and /dev/sda6 the target partition for the GuixSD installation. | ;; and /dev/sda6 the 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. | ;; 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 ;C'est bien "/dev/sda". Puis 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 | (file-systems (cons (file-system | ||
| Ligne 170: | Ligne 170: | ||
| ;; This is where we specify | ;; This is where we specify | ||
| ;; system-wide packages. | ;; 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 | screen | ||
| openssh | openssh | ||
| Ligne 259: | Ligne 259: | ||
| <code user>$ guix package --upgrade . --do-not-upgrade webkitgtk ungoogled-chromium</code> | <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 en place cette pratique... **Infos :** [[https://www.gnu.org/software/guix/manual/fr/html_node/Invoquer-guix-package.html#profile_002dmanifest]]</note> | + | 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> |
| Ligne 294: | Ligne 294: | ||
| **[[https://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-pull.html#Invoking-guix-pull]]** | **[[https://www.gnu.org/software/guix/manual/en/html_node/Invoking-guix-pull.html#Invoking-guix-pull]]** | ||
| + | |||
| + | **Désinstallation de logiciels** | ||
| + | |||
| + | Exemples : | ||
| + | |||
| + | <code root># guix package -r vim</code> | ||
| + | |||
| + | <code user>$ guix package -r vlc</code> | ||
| + | |||
| ====Utilisation de manifest==== | ====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) :-D</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. | Il s'agit de confiner l'environnement logiciel dans le profil personnel. | ||
| Ligne 403: | Ligne 412: | ||
| <code user>$ guix package -m ~/.config/guix/manifest.scm</code> | <code user>$ guix package -m ~/.config/guix/manifest.scm</code> | ||
| - | Ensuite j'ai appliqué les habituelles commandes de [[utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid#mises-a-jour|mises-à-jour]], reconfiguré //'/etc/config.scm'// et redémarré le système. | + | Et voilà un joli fichier manifest tout neuf. |
| - | Maintenant les mises-à-jour sont nettement plus rapides, le fichier ayant bien été pris en compte. | + | **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. |
| - | Cette nouvelle situation est d'autant plus apréciable que j'habite dans une zone non dégroupée. | + | "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." |
| - | **Edit :** Hum... Question mises-à-jour, il faut que je vérifie si une commande équivalente à 'guix pull --profile=PROFILE' ne serait pas plus adaptée que 'guix pull' tout court. | + | Ce qui donne : |
| - | + | ||
| - | **Désinstallation de logiciels** | + | <code user>$ sudo -i guix pull && guix package -m ~/.config/guix/manifest.scm -u</code> |
| - | Exemples : | + | (Merci à Josh Holland \o/ ) |
| - | <code root># guix package -r vim</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. | ||
| + | |||
| + | **manifest**, c'est bon... :-D **/Edit** | ||
| - | <code user>$ guix package -r vlc</code> | ||
| **SSH** | **SSH** | ||
| Ligne 494: | Ligne 509: | ||
| - | <note important>Des reconstructions et téléchargements ultérieurs pourront parfois être nécessaires (**//guix pull//** suivi de **//guix package -u//** seront toujours capables de s'en occuper en cas de besoin). <note tip>Il existe d'autres manières de faire plus pratiques, mais je ne les maîtrise pas pour l'instant... | + | <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> | <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. | 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 |}} | {{ https://www.hubert-lombard.website/vignettes/GnuLinuxHurd-250x199.png |}} | ||
