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 [22/04/2019 17:44] gonzoleri [Utilisation] |
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [23/04/2019 22:42] gonzoleri [Utilisation] |
||
|---|---|---|---|
| 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 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 272: | Ligne 272: | ||
| 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. | 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> | + | <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> | ||
| <code user>$ guix gc --collect-garbage | <code user>$ guix gc --collect-garbage | ||
| Ligne 281: | Ligne 282: | ||
| guix gc: 5043,55469 Mo libérés*</code> | 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** | **Installation de logiciels** | ||
| Ligne 325: | Ligne 325: | ||
| - | 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> | <code user>$ ffmpeg -i film-a-convertir.mkv -ab 128k -ac 2 -vcodec libx264 notre-produit-final.mp4</code> | ||
