From cecd72d55ae974f8ebe900e0088071f843866935 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Thu, 13 Mar 2014 21:58:04 +0100
Subject: 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.
---
 doc/guix.texi | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc')

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.
 
-- 
cgit v1.2.1