suzanne.soy/distro-build
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remote-shell: new package for ssh and VirtualBox utilities

Browse Source 
Extracted from "meta/pkg-build" and "distro-build".

original commit: 807537e219c278514e1020dfc2a1bef16adfc893
This commit is contained in:
Matthew Flatt 2014-07-29 09:12:49 +01:00
parent 7b96d5eb8b
commit 9d7d909f2f
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/distro-build-pkgs/distro-build-server/drive-clients.rkt
View File

@ -14,8 +14,8 @@
distro-build/url-options distro-build/url-options
distro-build/display-time distro-build/display-time
distro-build/readme distro-build/readme
"email.rkt" remote-shell/vbox
"vbox.rkt") "email.rkt")
;; See "config.rkt" for an overview. ;; See "config.rkt" for an overview.

3
pkgs/distro-build-pkgs/distro-build-server/info.rkt
View File

@ -8,7 +8,8 @@
"ds-store-lib" "ds-store-lib"
"net-lib" "net-lib"
"scribble-html-lib" "scribble-html-lib"
"plt-web-lib")) "plt-web-lib"
"remote-shell-lib"))
(define build-deps '("at-exp-lib")) (define build-deps '("at-exp-lib"))
(define pkg-desc "server-side part of \"distro-build\"") (define pkg-desc "server-side part of \"distro-build\"")