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 [29/07/2019 16:16] gonzoleri [Utilisation] |
||
|---|---|---|---|
| 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 405: | Ligne 405: | ||
| 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. | 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. | ||
| - | Maintenant les mises-à-jour sont nettement plus rapides, le fichier ayant bien été pris en compte. | + | **Edit :** Sur la liste de diffusion 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. | + | Les commandes utilisées : |
| - | + | ||
| + | <code user>$ sudo -i guix pull && guix package -m ~/.config/guix/manifest.scm -u</code> | ||
| + | |||
| + | <code user>$ sudo -i guix system reconfigure /etc/config.scm</code> | ||
| + | |||
| + | Mise-à-jour effectuée bien plus rapidement, ce qui n'est pas négligeable quand on habite en zone non dégroupée. | ||
| + | |||
| + | [[https://lists.gnu.org/mailman/listinfo/help-guix]] | ||
| **Désinstallation de logiciels** | **Désinstallation de logiciels** | ||
