 Ludovic Courtès
|
661a1d7924
file-systems: Allow users to specify file system UUIDs as strings.
|
9 years ago |
 Mathieu Lirzin
|
b57ec5f6cd
gnu: file-systems: Fix typo.
|
9 years ago |
 David Thompson
|
c829bc80bd
gnu: system: Add Linux container file systems.
|
9 years ago |
|
David Thompson
|
575b4b092d
gnu: system: Move file-system->spec to (gnu system file-systems).
|
9 years ago |
|
David Thompson
|
9110c2e942
gnu: system: Move <file-system-mapping> into (gnu system file-systems).
|
9 years ago |
|
David Thompson
|
727636aaf8
gnu: Add control group file systems.
|
9 years ago |
|
Ludovic Courtès
|
3392ce5d60
system: Make /gnu/store a read-only bind mount by default.
|
9 years ago |
|
Ludovic Courtès
|
9cb426b8bf
Revert "system: Add a 'needed-for-boot?' field to 'mapped-device'."
|
10 years ago |
|
Ludovic Courtès
|
3b09332adf
system: Add a 'needed-for-boot?' field to 'mapped-device'.
|
10 years ago |
|
Ludovic Courtès
|
4d6b879cb5
file-systems: 'file-system-needed-for-boot?' always returns #t for "/".
|
10 years ago |
|
Ludovic Courtès
|
722554a306
system: Define 'device-mapping-kind', and add a 'close' procedure.
|
10 years ago |
|
Ludovic Courtès
|
5dae0186de
system: Add support for Linux-style mapped devices.
|
10 years ago |
|
Ludovic Courtès
|
c8fa34265d
system: Add the 'system?' field for user groups.
|
10 years ago |
 Mark H Weaver
|
705f8b68f1
system: Add missing exports to (gnu system file-systems).
|
10 years ago |
|
Ludovic Courtès
|
db17ae5c27
system: Add /dev/shm.
|
10 years ago |
|
Ludovic Courtès
|
7f239fd33f
system: Add 'file-system' decl. for /dev/pts, and use the right options.
|
10 years ago |
|
Ludovic Courtès
|
4e469051a7
system: Add 'create-mount-point?' file system option.
|
10 years ago |
|
Ludovic Courtès
|
a69576ea85
system: Add '%devtmpfs-file-system' for udev, and '%base-file-systems'.
|
10 years ago |
|
Ludovic Courtès
|
d4c87617e5
system: File system sources can be marked as labels or devices.
|
10 years ago |
|
Ludovic Courtès
|
c5df183956
Add (gnu system file-systems).
|
10 years ago |
