offload: Drop 'remote-pipe'.
commitbc1ad4e334fbf5239ed8d617751e9fa7dbe0ab23
authorLudovic Courtès <ludo@gnu.org>
Fri, 25 Nov 2016 21:47:37 +0000 (25 22:47 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 25 Nov 2016 22:44:21 +0000 (25 23:44 +0100)
tree9fb2c1884267522a1f55e71151f6600407b01f3a
parentcf283dd92eb5ef2dee4b761bb23f6dca2525cd55
offload: Drop 'remote-pipe'.

* guix/scripts/offload.scm (remote-pipe): Remove.
(machine-load): Use 'open-remote-pipe*' instead of 'remote-pipe'.
guix/scripts/offload.scm