From e7905534fc80fd5eeee68f33cbdc15572c858b05 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 1 Jul 2007 21:50:20 +0000 Subject: [PATCH] Change ~/domtool to ~/.domtool --- configDefault/domtool.cfg | 4 ++-- src/main-client.sml | 2 +- src/main.sml | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/configDefault/domtool.cfg b/configDefault/domtool.cfg index 34b7d69..6e6b25e 100644 --- a/configDefault/domtool.cfg +++ b/configDefault/domtool.cfg @@ -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"} diff --git a/src/main-client.sml b/src/main-client.sml index f0a6f69..1aa1a0f 100644 --- a/src/main-client.sml +++ b/src/main-client.sml @@ -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) = diff --git a/src/main.sml b/src/main.sml index 6644d76..2e350cc 100644 --- a/src/main.sml +++ b/src/main.sml @@ -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 () -- 2.20.1