Change ~/domtool to ~/.domtool
authorAdam Chlipala <adamc@hcoop.net>
Sun, 1 Jul 2007 21:50:20 +0000 (21:50 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 1 Jul 2007 21:50:20 +0000 (21:50 +0000)
configDefault/domtool.cfg
src/main-client.sml
src/main.sml

index 34b7d69..6e6b25e 100644 (file)
@@ -55,6 +55,6 @@ val dispatcherName = "deleuze"
 
 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"}
index f0a6f69..1aa1a0f 100644 (file)
@@ -24,7 +24,7 @@ fun domtoolRoot () =
        val dname = Posix.SysDB.Passwd.home (Posix.SysDB.getpwuid uid)
     in
        OS.Path.joinDirFile {dir = dname,
-                            file = "domtool"}
+                            file = ".domtool"}
     end
 
 val (doit, args) =
index 6644d76..2e350cc 100644 (file)
@@ -256,7 +256,7 @@ fun requestDir dname =
                else
                    (print ("Can't access " ^ dname ^ ".\n");
                     print "Did you mean to run domtool on a specific file, instead of asking for all\n";
-                    print "files in your ~/domtool directory?\n";
+                    print "files in your ~/.domtool directory?\n";
                     OS.Process.exit OS.Process.failure)
 
        val _ = ErrorMsg.reset ()