fun domtoolDir user =
case user of
- "domtool" => "/afs/hcoop.net/common/etc/domtool/domtool"
+ "domtool" => "/afs/hcoop.net/common/etc/domtool/.domtool"
| _ => OS.Path.joinDirFile {dir = Posix.SysDB.Passwd.home (Posix.SysDB.getpwnam user),
- file = "domtool"}
+ file = ".domtool"}