logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

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 → ODT PDF Export

Différences

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

Lien vers cette vue comparative

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 [22/04/2019 10:46]
gonzoleri [Utilisation]
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [22/07/2019 15:56]
gonzoleri [Utilisation]
Ligne 10: Ligne 10:
 (Chez moi, l'​ordinateur utilisé est un portable "​**Packard Bell EasyNote TE** "Intel Celeron B830. Intel Graphics Media Accelerator (GMA) HD Graphics) (Chez moi, l'​ordinateur utilisé est un portable "​**Packard Bell EasyNote TE** "Intel Celeron B830. Intel Graphics Media Accelerator (GMA) HD Graphics)
  
 +{{ https://​www.hubert-lombard.website/​vignettes/​guix-logo-redimensionne.png |}}
  <​note tip>** Téléchargement de GNU Guix Software Distribution :**  <​note tip>** Téléchargement de GNU Guix Software Distribution :**
 **[[https://​www.gnu.org/​software/​guix/​download/​]]**</​note>​ **[[https://​www.gnu.org/​software/​guix/​download/​]]**</​note>​
-{{ https://​www.hubert-lombard.website/​vignettes/​guix-logo-redimensionne.png |}} 
  
 **Copie de l'​image sur une clé USB** **Copie de l'​image sur une clé USB**
Ligne 34: Ligne 34:
  
 <code user>$ xz -d guixsd-install-0.16.0.x86_64-linux.iso.xz</​code>​ <code user>$ xz -d guixsd-install-0.16.0.x86_64-linux.iso.xz</​code>​
-2. Insérer un DVD vierge et déterminer son nom de péripérique. Si le nom du périphérique DVD est connu comme  /dev/srX, copier l'​image avec:+2. Insérer un DVD vierge et déterminer son nom de périphérique. Si le nom du périphérique DVD est connu comme  /dev/srX, copier l'​image avec:
 <code root># growisofs -dvd-compat -Z /​dev/​srX=guixsd-install-0.16.0.x86_64-linux.iso</​code>​ <code root># growisofs -dvd-compat -Z /​dev/​srX=guixsd-install-0.16.0.x86_64-linux.iso</​code>​
 Sources : Sources :
Ligne 127: Ligne 127:
 ;; gnome-shell ​                                                           ​ ;; 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 ​scheme. Après quelque temps
 (use-service-modules desktop networking ssh)                              ; d'​utilisation,​ sa pratique est plus aisée. ​ (use-service-modules desktop networking ssh)                              ; 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.
Ligne 134: Ligne 134:
   (host-name "​gnu"​)   (host-name "​gnu"​)
   (timezone "​Europe/​Paris"​)   (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
Ligne 175: Ligne 175:
 ;; Cela devrait marcher si vous remplacez (gnome-desktop-service) par (service gnome-desktop-service-type) ;; 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. (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. ;; Allow resolution of '​.local'​ host names with mDNS.
Ligne 184: Ligne 184:
 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**) : 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>​ <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. Cette commande peut déclencher des téléchargements ou des versions des packages manquants, ce qui peut prendre un certain temps.
Ligne 251: Ligne 251:
 <code root># reboot</​code>​ <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>​
  
-<code user>$ export PATH="​$HOME/​.config/​guix/​current/​bin:​$PATH"​</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 redeviendre 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>
-<code user>$ export INFOPATH="​$HOME/.config/guix/current/share/info:​$INFOPATH"​</code>+
  
-Source : 
  
-**[[https://​www.gnu.org/​software/​guix/​manual/​en/​html_node/​Invoking-guix-pull.html#​Invoking-guix-pull]]**+**Installation de logiciels**
  
-Avoir la garantie que 5 Go vont rester disponiblesCette commande peut être lancée régulièrement :+Avec GuixSD, les installations de logiciels peuvent se faire depuis le compte user.
  
-<code user>​guix gc -F 5G</code>+Pour ce qui est de **//vim//**, j'ai préféré l'​installer depuis le compte root.
  
-Suppression des générations vieilles de plus d'un mois :+<code root># guix package -i vim</​code>​ 
 +<code user>$ guix package -i markdown</​code>​ 
 +(markdown convertit ​un ficher texte en un fichier html en une seule ligne de commande).
  
-<code user>$ guix package --delete-generations=1m</​code>​+<code user>$ guix package -i ungoogled-chromium</​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. +<code user>$ guix package ​-i mpv</code>
-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 +**mpv** est un fork de mplayerLégereté et fluidité à l'utilisation.
-.................................................................... +
-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>​Plus ​de précisions<​code user>$ man guix gc</​code></​note>​+**Utilisation ​de "​manifest"​ pour gérer le profil de l'​utilisat(rice)ur,​ de manière déclarative,​ comme des "​packages"​ :**
  
-**Installation ​de logiciels**+L'​écriture d'un fichier ​**'​manifest'​** va me permettre ​de confiner l'​environnement logiciel dans mon profil. 
 +Les mises-à-jour se feront beaucoup plus rapidement, car elles seront relayées par un fichier **manifest.scm** 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)) 
 + 
 +(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<?​)) 
 + 
 +;; 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)))) 
 + 
 +(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>​ 
 + 
 +**2 -** Appeler le script : 
 + 
 +<code user>​$ ​guile -s manifest-to-manifest.scm ~/​.guix-profile 
 +;;; 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"​)) 
 +</​code>​ 
 + 
 +Cette option --manifest accepte un fichier qui devrait renvoyer un manifeste 
 +objet, et le script que vous exécutez le génère à partir de votre profil. Donc on 
 +pout écrire la sortie de script "​(spécifications->​ manifest......)"​ dans un 
 +fichier, par exemple: "~ / .config / guix / manifest.scm",​ puis utilisez "guix package -
 +~ / .config / guix-manifest.scm "pour l’appliquer. 
 + 
 +**3 -** Création de ce nouveau fichier scheme, perso 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 de ce fichier : 
 + 
 +<code user>$ guix package -m ~/​.config/​guix/​manifest.scm</​code>​  
 + 
 +Maintenant les mises-à-jour sont nettement plus rapides, le fichier ayant bien été pris en compte. 
 + 
 +A noter qu'il a fallu, pour valider ceci, effectuer les habituelles commandes **'​guix pull'​**,​ **'​guix package -u'**, **'​guix system reconfigure /​etc/​config.scm'​** et **'​reboot'​**. 
 + 
 +Cette nouvelle situation est d'​autant plus apréciable que j'​habite dans une zone non dégroupée. 
 + 
  
 **Désinstallation de logiciels** **Désinstallation de logiciels**
Ligne 299: Ligne 396:
 Exemples : Exemples :
  
-<code root># guix gc -vim</​code>​+<code root># guix package ​-vim</​code>​
  
-<code user>$ guix gc -vlc</​code>​+<code user>$ guix package ​-vlc</​code>​
  
 **SSH** **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** **MULTIMEDIA**
  
-Conversion d'un fichier .mkv (ou .webm... etc.)+Téléchargement d'une vidéo : 
 + 
 +<code user>$ youtube-dl https://​www.youtube.com/​watch?​v=j7sTHoeH0eA</​code>​ 
 + 
 +Lecture d'une vidéo en streaming : 
 + 
 +<code user>$ youtube-viewer https://​www.youtube.com/​watch?​v=OSWKw15rCoI</​code>​ 
 + 
 +<code user>$ mpv https://​www.youtube.com/​watch?​v=-mfladpK0AA</​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>​ <code user>$ ffmpeg -i film-a-convertir.mkv -ab 128k -ac 2 -vcodec libx264 notre-produit-final.mp4</​code>​
  
 +Lecture avec :
 +
 +<code user>$ mpv notre-produit-final.mp4</​code>​
 +
 +**MACHINE ViRTUELLE**
 +
 +L'​exemple ci-dessous crée une machine virtuelle dans laquelle le répertoire de base de l'​utilisateur est accessible en lecture seule et où le répertoire /exchange est un mappage en lecture écriture de $HOME/tmp sur l'​hôte :
 +
 +<code user>​guix system vm my-config.scm \
 +   ​--expose=$HOME --share=$HOME/​tmp=/​exchange</​code>​
 +
 +**IMAGE DISQUE**
 +
 +Lors de l'​utilisation d'une image disque, une image disque brute est produite. Elle peut être copiée telle quelle sur une clé USB, par exemple. En supposant que /dev/sdc soit le périphérique correspondant a une clé USB, vous pouvez y copier l image à l aide de la commande suivante :
 +
 +<code root># dd if=$(guix system disk-image my-os.scm) of=/​dev/​sdc</​code>​
 +
 + 
 +**Maintenance**
 +
 +J'ai lancé les 2 commandes suivantes :
 +
 +<code user>$ export PATH="​$HOME/​.config/​guix/​current/​bin:​$PATH"</​code>​
 +<code user>$ export INFOPATH="​$HOME/​.config/​guix/​current/​share/​info:​$INFOPATH"</​code>​
 +
 +Source :
 +
 +**[[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 :
 +
 +<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>​Dans ce cas, pour que la procédure puisse arriver à son terme, des reconstructions et téléchargements ultérieurs pourront ê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...
 +<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 |}}
utilisateurs/gonzoleri/tutos/guixsd-0.16-en-dual-boot-avec-debian-testing-sid.txt · Dernière modification: 27/08/2020 17:27 par gonzoleri

Pied de page des forums

Propulsé par FluxBB