On Mon, 02 Apr 2007 09:00:52 -0700 Adam Chlipala <[EMAIL PROTECTED]> wrote:
> Adam Chlipala wrote: > > Davor wrote: > > > >> adamc, did you modify domtool to save files to > >> /afs/hcoop/user/ instead of /afs/hcoop/usr/ ? > >> > > > > No, I haven't modified it and probably won't be able to until Sunday. > > > > Question: Is it necessary for Domtool to give paths like > /afs/hcoop/user/a/ad/adamc, or will there be guaranteed symlinks > somewhere that avoid the need to include the two prefixes? I think it's better that you plan for a/ad/adamc, and then we won't have another thing to keep in sync (the directory with symlinks) _______________________________________________ HCoop-SysAdmin mailing list [email protected] http://hcoop.net/cgi-bin/mailman/listinfo/hcoop-sysadmin
