diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-01-16 22:33:46 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-01-16 23:27:23 +0100 |
| commit | 384344198dcaa97847e66d3dd82f279ede08d690 (patch) | |
| tree | aca75459dd314be54a8e10bfda5403a96634debe /etc | |
| parent | b91cfa22e1b9f3e5d3a62ee65ee71a6e708b9b53 (diff) | |
| download | patches-384344198dcaa97847e66d3dd82f279ede08d690.tar patches-384344198dcaa97847e66d3dd82f279ede08d690.tar.gz | |
file-systems: 'file-system-needed-for-boot?' is #t for parents of the store.
Suggested by John Darrington <john@darrington.wattle.id.au>.
* gnu/system/file-systems.scm (%not-slash): New variable.
(file-prefix?): New procedure.
(file-system-needed-for-boot?): Use it to check whether FS holds the
store.
* tests/file-systems.scm ("file-system-needed-for-boot?"): New test.
* gnu/tests/install.scm (%separate-store-os)[file-systems]: Remove
'needed-for-boot?' field for "/gnu".
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions