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 11:27] gonzoleri [Utilisation] |
utilisateurs:gonzoleri:tutos:guixsd-0.16-en-dual-boot-avec-debian-testing-sid [22/04/2019 22:16] gonzoleri [Installation] |
||
---|---|---|---|
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 271: | Ligne 271: | ||
<code user>$ guix package --delete-generations=1m</code> | <code user>$ guix package --delete-generations=1m</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. | + | 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. |
- | 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. | + | <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> |
<code user>$ guix gc --collect-garbage | <code user>$ guix gc --collect-garbage | ||
Ligne 281: | Ligne 281: | ||
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 plus pratiques mais c'est encore un peu flou pour moi<code user>$ man guix gc</code></note> | + | <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 331: | Ligne 332: | ||
<code user>$ mpv notre-produit-final.mp4</code> | <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> | ||
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 |}} |