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 /tests/lint.scm | |
parent | 44941fd7dbc77a7bf84a9be63a309eca3ffdc1c2 (diff) | |
download | guix-patches-a3af06ad65eb097ddaa9a6fab893e2b688734e04.tar guix-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 'tests/lint.scm')
0 files changed, 0 insertions, 0 deletions