X-Git-Url: http://git.hcoop.net/clinton/domtool2.git/blobdiff_plain/87fedaf1820b1e4f8dcb12dbac29bfc641b18b18..b271ecb02a659115092aa73ebf2e15bf607c4bb8:/src/plugins/hcoop.sml diff --git a/src/plugins/hcoop.sml b/src/plugins/hcoop.sml index b5f0f2b..3f6f5b8 100644 --- a/src/plugins/hcoop.sml +++ b/src/plugins/hcoop.sml @@ -24,6 +24,10 @@ open Ast val dl = ErrorMsg.dummyLoc +val _ = Env.type_one "homedir_path" + Env.string + (fn dir => Domain.yourPath (Config.homeBase ^ "/" ^ Domain.getUser () ^ "/home/" ^ dir)) + val () = Env.registerFunction ("home", fn [(EString dir, _)] => SOME (EString (Config.homeBase ^ "/"