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? _______________________________________________ HCoop-SysAdmin mailing list [email protected] http://hcoop.net/cgi-bin/mailman/listinfo/hcoop-sysadmin
