[HCoop-Help] DomTool Woes

Adam Chlipala adamc at hcoop.net
Sun Jul 6 18:13:14 EDT 2008

John T. Settino wrote:
> Shit, I was moving domtool files for testing, thought I made a copy 
> and just deleted all my config files... is there a way to get them 
> back? Are they copied to a DomTool folder or anything?

Everyone's home directory is backed up to /afs/hcoop.net/old/user.  I 
was thinking we had nice symlinks into here from the main home 
directories, but I guess we don't yet.

More information about the HCoop-Help mailing list