diff options
| author | Joey Hess <joey@kitenet.net> | 2014-07-14 17:06:08 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-07-14 17:06:08 -0400 |
| commit | 75081da6109373a04c49c60013c969707e62ee57 (patch) | |
| tree | f2154d9d14afe551eb5c82e04d3fd1da407c317b | |
| parent | 54d2888a9616cf5005422b34446797f0357b0098 (diff) | |
propellor spin
| -rw-r--r-- | config-joey.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config-joey.hs b/config-joey.hs index 18f0a32b..e67262eb 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -201,9 +201,9 @@ hosts = -- (o) ` `onChange` Service.restarted "ssh" -- temp - & Docker.docked hosts "amd64-git-annex-builder" - & Docker.docked hosts "i386-git-annex-builder" - & Docker.docked hosts "android-git-annex-builder" + ! Docker.docked hosts "amd64-git-annex-builder" + ! Docker.docked hosts "i386-git-annex-builder" + ! Docker.docked hosts "android-git-annex-builder" --' __|II| ,. |