diff options
| author | Joey Hess <joey@kitenet.net> | 2014-08-21 14:12:23 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-08-21 14:12:23 -0400 |
| commit | 0929cad0926d171c9d0f2579a05d295611a1e085 (patch) | |
| tree | f4d1f68bf2e871d236b18cd5cd973cc27232454c | |
| parent | 3822c9a2d764a2ea451d4dce8862eef7dc697c12 (diff) | |
comments
| -rw-r--r-- | config-joey.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config-joey.hs b/config-joey.hs index 486863ee..29efbf92 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -73,7 +73,6 @@ hosts = -- (o) ` & Docker.docked hosts "amd64-git-annex-builder" & Docker.docked hosts "i386-git-annex-builder" & Docker.docked hosts "android-git-annex-builder" - -- not currently working & Docker.docked hosts "armel-git-annex-builder-companion" & Docker.docked hosts "armel-git-annex-builder" & Docker.garbageCollected `period` Daily @@ -238,11 +237,6 @@ hosts = -- (o) ` -- that port for ssh, for traveling on bad networks that -- block 22. & Ssh.listenPort 80 - - -- temp - ! Docker.docked hosts "amd64-git-annex-builder" - ! Docker.docked hosts "i386-git-annex-builder" - ! Docker.docked hosts "android-git-annex-builder" --' __|II| ,. @@ -292,8 +286,6 @@ hosts = -- (o) ` , let gitannexdir = GitAnnexBuilder.homedir </> "git-annex" in GitAnnexBuilder.androidContainer dockerImage "android-git-annex" doNothing gitannexdir & Docker.volume ("/home/joey/src/git-annex:" ++ gitannexdir) - - -- temp for an acquantance ] ++ monsters type Motd = [String] |