diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-10-04 21:39:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-05 12:09:17 +0200 |
| commit | 9d80d0e95c9eab042ddd8250ad9a231ed0c458dc (patch) | |
| tree | 33507b1d13400cfe23ea2c5f2562dc31d2410654 /gnu/packages/mpi.scm | |
| parent | dd41a7f8d8d07a8638a19404072c78e9d0ac01b2 (diff) | |
| download | patches-9d80d0e95c9eab042ddd8250ad9a231ed0c458dc.tar patches-9d80d0e95c9eab042ddd8250ad9a231ed0c458dc.tar.gz | |
guix system: Error out when passed a wrong file system UUID/label.
* guix/scripts/system.scm (check-file-system-availability): New
procedure.
(perform-action): Use it.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions