[HCoop-Help] ssh server

[Adam Chlipala]

John T. Settino wrote:
> Has ssh been routed on hcoop.net, where my login would be nion at hcoop.net,
> or do I have to continue using mire.hcoop.net?

We don't intend to provide any guarantees about any SSH hostname but 
"ssh.hcoop.net" working at any time, including now.

> Subsequently, would using
> something like nion at nion0.com (my domain) work?
>   

It might happen to work, but we won't be making an effort to make it work.