X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0da1c677dd0a079c9e985af37688cc9e833fc196..b25161c70648676e61db4eead37a84f460182576:/src/main-client.sml

diff --git a/src/main-client.sml b/src/main-client.sml
index 29db1b4..1aa1a0f 100644
--- a/src/main-client.sml
+++ b/src/main-client.sml
@@ -24,16 +24,21 @@ fun domtoolRoot () =
 	val dname = Posix.SysDB.Passwd.home (Posix.SysDB.getpwuid uid)
     in
 	OS.Path.joinDirFile {dir = dname,
-			     file = "domtool"}
+			     file = ".domtool"}
     end
 
-val _ =
+val (doit, args) =
     case CommandLine.arguments () of
+	"-tc" :: args => (fn fname => (Main.setupUser (); ignore (Main.check fname)), args)
+      | args => (Main.request, args)
+
+val _ =
+    case args of
 	[fname] =>
 	if Posix.FileSys.access (fname, []) then
-	    Main.request fname
+	    doit fname
 	else
-	    Main.request (OS.Path.joinDirFile {dir = domtoolRoot (),
-					       file = fname})
+	    doit (OS.Path.joinDirFile {dir = domtoolRoot (),
+				       file = fname})
       | [] => Main.requestDir (domtoolRoot ())
       | _ => print "Invalid command-line arguments\n"