offload: Allow build machines to specify a port number.
authorLudovic Courtès <ludo@gnu.org>
Thu, 13 Mar 2014 20:58:04 +0000 (21:58 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 13 Mar 2014 20:58:04 +0000 (21:58 +0100)
commitcecd72d55ae974f8ebe900e0088071f843866935
tree904528c871e2ceb252bb6aa04451ca3b27f6329b
parent257b93412ad52dc26b53e0dae71a79b9b51ab33f
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
guix/scripts/offload.scm