diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-03-20 12:08:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-03-23 10:48:17 +0100 |
| commit | ea6e2299b40c6fbd9749563c52a2d77698bd9337 (patch) | |
| tree | 71e1e8f02277b8f905a82d2110d93de49dc7bba4 /po | |
| parent | 8f53d73493a2949e2db28cd7d689a690b2d9479a (diff) | |
| download | patches-ea6e2299b40c6fbd9749563c52a2d77698bd9337.tar patches-ea6e2299b40c6fbd9749563c52a2d77698bd9337.tar.gz | |
machine: ssh: Make sanity checks in a single round trip.
* gnu/machine/ssh.scm (<remote-assertion>): New record type.
(remote-let): New macro.
(machine-check-file-system-availability): Rewrite to use 'remote-let'
instead of 'mlet' and 'machine-remote-eval'.
(machine-check-initrd-modules): Likewise.
(machine-check-building-for-appropriate-system): Make non-monadic.
(check-deployment-sanity): Rewrite to gather all the assertions as a
single gexp and pass it to 'machine-remote-eval'.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions