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 17:44]
gonzoleri [Utilisation]
+++ utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [22/07/2019 08:47]
gonzoleri [Installation]
@@ Ligne 127: / Ligne 127: @@
 ;; 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-package-modules bootloaders certs gnome screen ssh)                  ; Module 'bootloaders' indispensable pour le Dual-boot.
@@ Ligne 134: / Ligne 134: @@
   (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
@@ Ligne 175: / Ligne 175: @@
 ;; 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 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**) :
 <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 251: / Ligne 251: @@
 <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]]**
-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.
-<note important>Dans ce cas, des reconstructions et téléchargements ultérieurs 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.</note>
-<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 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>
 **Installation de logiciels**
@@ Ligne 294: / Ligne 268: @@
 (markdown convertit un ficher texte en un fichier html en une seule ligne de commande).
-<code user>$ guix package -i vlc</code>
+<code user>$ guix package -i ungoogled-chromium</code>
 <code user>$ guix package -i mpv</code>
@@ Ligne 304: / Ligne 278: @@
 Exemples :
-<code root># guix gc -d vim</code>
+<code root># guix package -r vim</code>
-<code user>$ guix gc -d youtube-viewer</code>
+<code user>$ guix package -r vlc</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**
@@ Ligne 325: / Ligne 299: @@
-Conversion d'un fichier .mkv (ou .webm... etc.)
+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 346: / Ligne 320: @@
 <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.
 {{ 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