From 9d7d909f2fa638c25d9da9acdde35b9d006417e5 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 29 Jul 2014 09:12:49 +0100 Subject: [PATCH] remote-shell: new package for ssh and VirtualBox utilities Extracted from "meta/pkg-build" and "distro-build". original commit: 807537e219c278514e1020dfc2a1bef16adfc893 --- pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt | 4 ++-- pkgs/distro-build-pkgs/distro-build-server/info.rkt | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt b/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt index 676ba75..1bd48a4 100644 --- a/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt +++ b/pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt @@ -14,8 +14,8 @@ distro-build/url-options distro-build/display-time distro-build/readme - "email.rkt" - "vbox.rkt") + remote-shell/vbox + "email.rkt") ;; See "config.rkt" for an overview. diff --git a/pkgs/distro-build-pkgs/distro-build-server/info.rkt b/pkgs/distro-build-pkgs/distro-build-server/info.rkt index f2bb39a..8acdb56 100644 --- a/pkgs/distro-build-pkgs/distro-build-server/info.rkt +++ b/pkgs/distro-build-pkgs/distro-build-server/info.rkt @@ -8,7 +8,8 @@ "ds-store-lib" "net-lib" "scribble-html-lib" - "plt-web-lib")) + "plt-web-lib" + "remote-shell-lib")) (define build-deps '("at-exp-lib")) (define pkg-desc "server-side part of \"distro-build\"")