aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2014-03-13 21:58:04 +0100
committerLudovic Courtès <ludo@gnu.org>2014-03-13 21:58:04 +0100
commitcecd72d55ae974f8ebe900e0088071f843866935 (patch)
tree904528c871e2ceb252bb6aa04451ca3b27f6329b /doc
parent257b93412ad52dc26b53e0dae71a79b9b51ab33f (diff)
downloadguix-cecd72d55ae974f8ebe900e0088071f843866935.tar
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.texi3
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.