diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-08 15:30:11 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-08 15:30:11 -0400 |
| commit | 21eeab35eb8d4036f8f48951d6261a3af65ff17e (patch) | |
| tree | f26cd9585ce15e41acb871fec3b3208df0406ee2 | |
| parent | 16a5f561f52f35f95a59976b5ee61d99945b0d55 (diff) | |
propellor spin
| -rw-r--r-- | config-joey.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/config-joey.hs b/config-joey.hs index d2dbbb6a..c4326956 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -311,6 +311,7 @@ elephant = standardSystem "elephant.kitenet.net" Unstable "amd64" & Docker.docked openidProvider `requires` Apt.serviceInstalledRunning "ntp" & Docker.docked ancientKitenet + & Docker.docked jerryPlay & Docker.garbageCollected `period` (Weekly (Just 1)) -- For https port 443, shellinabox with ssh login to @@ -367,6 +368,14 @@ gitAnnexAndroidDev = GitAnnexBuilder.androidContainer dockerImage "android-git-a & Docker.volume ("/home/joey/src/git-annex:" ++ gitannexdir) where gitannexdir = GitAnnexBuilder.homedir </> "git-annex" + +jerryPlay :: Docker.Container +jerryPlay = standardContainer "jerryplay" Unstable "amd64" + & alias "jerryplay.kitenet.net" + & Docker.publish "2202:22" + & Docker.publish "8001:80" + & Apt.installed ["ssh"] + & User.hasSomePassword "root" type Motd = [String] |
