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 | ||
atelier:bac-a-sable [14/03/2014 14:57] 92.154.95.252 [À vous de jouer] |
atelier:bac-a-sable [06/07/2014 07:39] Hypathie [À vous de jouer] |
||
---|---|---|---|
Ligne 47: | Ligne 47: | ||
return 0; | return 0; | ||
}</code> | }</code> | ||
+ | == barre de défilement == | ||
+ | <code> | ||
+ | case ... esac ; if ... fi ; for ... done ; select ... done ; until ... done ; while ... done ; | ||
+ | {...} ; ( ... ) ; ((...)) ; [ ... ] ; [[ ]] | ||
+ | </code> | ||
+ | <code> | ||
+ | case ... esac ; if ... fi ; for ... done ; select ... done ; until ... done ; while ... done ; {...} ; ( ... ) ; ((...)) ; [ ... ] ; [[ ]] | ||
+ | </code> | ||
=== Divers === | === Divers === | ||
Ligne 107: | Ligne 115: | ||
Pour pouvoir jouer à modifier le contenu de cette zone, cliquez sur le bouton "Modifier", en bas à droite. | Pour pouvoir jouer à modifier le contenu de cette zone, cliquez sur le bouton "Modifier", en bas à droite. | ||
- | + | < > | |
- | <file fstab>UUID=a69d9182-f4c7-4276-b35d-7d5f9bd50a57 / btrfs rw,noatime,ssd,discard,autodefrag,**subvol=debian/root** 0 0 | + | <code user> |
- | UUID=a69d9182-f4c7-4276-b35d-7d5f9bd50a57 /home btrfs rw,noatime,ssd,discard,autodefrag,**subvol=debian/home** 0 0 | + | ls / |
- | swap... | + | </code> |
- | tmpfs /tmp tmpfs default 0 0 | + | <code>bin boot dev etc home initrd.img lib lib64 lost+found media</code> |
- | + | </> | |
- | #Je vous conseille de monter le volume btrfs à la racine quelque part afin d'y avoir acces facilement | + | |
- | UUID=a69d9182-f4c7-4276-b35d-7d5f9bd50a57 /home/btrfs btrfs rw,noatime,ssd,discard,autodefrag,**nodev,nosuid,noexec** 0 0 | + | |
- | </file> | + | |
- | <file bash>#!/bin/sh | + | |
- | exec tail -n +3 $0 | + | |
- | # This file provides an easy way to add custom menu entries. Simply type the | + | |
- | # menu entries you want to add after this comment. Be careful not to change | + | |
- | # the 'exec tail' line above. | + | |
- | menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os { | + | |
- | load_video | + | |
- | insmod gzio | + | |
- | insmod part_gpt | + | |
- | insmod btrfs | + | |
- | set root='**(hd0,gpt3)**' | + | |
- | search --no-floppy --fs-uuid --set=root **9201243d-1559-4b27-8973-070aeefa1079** | + | |
- | echo 'Chargement de Linux 3.2.0-4-amd64 ...' | + | |
- | linux **__/debian/root__/boot/vmlinuz-3.2.0-4-amd64** root=UUID=**9201243d-1559-4b27-8973-070aeefa1079** ro **rootflags=subvol=__debian/root__** quiet | + | |
- | echo 'Chargement du disque mémoire initial ...' | + | |
- | initrd **__/debian/root__/boot/initrd.img-3.2.0-4-amd64** | + | |
- | } | + | |
- | </file> | + |