diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-28 17:22:39 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-28 22:56:40 +0200 |
| commit | a3af06ad65eb097ddaa9a6fab893e2b688734e04 (patch) | |
| tree | bbf6974cec97c69e6b9c6b85d62a27a74d28f847 /etc | |
| parent | 44941fd7dbc77a7bf84a9be63a309eca3ffdc1c2 (diff) | |
| download | patches-a3af06ad65eb097ddaa9a6fab893e2b688734e04.tar patches-a3af06ad65eb097ddaa9a6fab893e2b688734e04.tar.gz | |
offload: Include the port number in the machine lock file name.
This is useful when a single machine appears several time, with
different port numbers.
* guix/scripts/offload.scm (machine-slot-file): Add MACHINE's port to
the file name.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions