;; Ceci est une configuration de système d'exploitation générée par
;; l'installateur graphique.
;;
;; Une fois l'installation terminée, vous pouvez apprendre à modifier
;; ce fichier pour ajuster la configuration du système et le passer à
;; la commande « guix system reconfigure » pour rendre vos changements
;; effectifs.


;; Indique quels modules importer pour accéder aux variables
;; utilisées dans cette configuration.
(use-modules (gnu)
	     (nongnu packages linux)
	     (gnu packages shells))
(use-service-modules cups desktop networking ssh xorg)

(operating-system
  (kernel linux)
  (firmware (list linux-firmware))
  (locale "fr_FR.utf8")
  (timezone "Europe/Paris")
  (keyboard-layout (keyboard-layout "fr" "bepo_afnor"))
  (host-name "Papareil")

  ;; La liste des comptes utilisateurs (« root » est implicite).
  (users (cons* (user-account
                  (name "jc")
                  (comment "Jean-Christophe JAMEUX BERTHE")
                  (group "users")
                  (home-directory "/home/jc")
                  (shell (file-append fish "/bin/fish"))
                  (supplementary-groups '("wheel" "netdev" "audio" "video")))
                %base-user-accounts))

  ;; Voici la liste des services du système.  Pour trouver les services
  ;; disponibles, lancez « guix system search MOT-CLÉ » dans un terminal.
  (services
   (append (list (service gnome-desktop-service-type)
                 (service bluetooth-service-type
			  (bluetooth-configuration
			  (auto-enable? #t)))

                 ;; Pour configurer OpenSSH, passez un enregistrement « openssh-configuration »
                 ;; en deuxième argument à « service » ci-dessous.
                 (service openssh-service-type)
                 (service tor-service-type)
                 (service cups-service-type)
                 (set-xorg-configuration
                  (xorg-configuration (keyboard-layout keyboard-layout))))

           ;; Voici la liste des services par défaut à laquelle nous
           ;; ajoutons nos propres services.
           %desktop-services))
  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (targets (list "/boot/efi"))
                (keyboard-layout keyboard-layout)))
  (initrd-modules (append '("vmd") %base-initrd-modules))
  (mapped-devices (list (mapped-device
                          (source (uuid
                                   "2d6b9a0b-5c61-4843-aa02-06b4b974906d"))
                          (target "Guix")
                          (type luks-device-mapping))))

  ;; La liste des systèmes de fichiers qui seront « montés ».  Les identifiants
  ;; de systèmes de fichiers uniques (« UUIDs ») qui se trouvent ici s'obtiennent
  ;; en exécutant « blkid » dans un terminal.
  (file-systems (cons* (file-system
                         (mount-point "/")
                         (device "/dev/mapper/Guix")
                         (type "ext4")
                         (dependencies mapped-devices))
                       (file-system
                         (mount-point "/mnt/dos")
                         (device (uuid "C4A0C709A0C70142"
                                       'ntfs))
                         (type "ntfs"))
                       (file-system
                         (mount-point "/boot/efi")
                         (device (uuid "A4C6-AB5C"
                                       'fat32))
                         (type "vfat")) %base-file-systems)))