diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-03-13 21:58:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-03-13 21:58:04 +0100 |
| commit | cecd72d55ae974f8ebe900e0088071f843866935 (patch) | |
| tree | 904528c871e2ceb252bb6aa04451ca3b27f6329b /doc | |
| parent | 257b93412ad52dc26b53e0dae71a79b9b51ab33f (diff) | |
| download | gnu-guix-cecd72d55ae974f8ebe900e0088071f843866935.tar gnu-guix-cecd72d55ae974f8ebe900e0088071f843866935.tar.gz | |
offload: Allow build machines to specify a port number.
* guix/scripts/offload.scm (<build-machine>): Add 'port' field.
(remote-pipe, send-files): Use lsh's '-p' option when invoking it.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index d2a21a0f4a..f97051e88c 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -345,6 +345,9 @@ A number of optional fields may be specified: @table @code +@item port +Port number of the machine's SSH server (default: 22). + @item private-key The SSH private key file to use when connecting to the machine. |