[hcoop/domtool2.git] / config / core / core.sig

(* Core configure to allow domtool to be easily relocated *)
signature CONFIG_CORE = sig

    val sharedRoot : string
    (* Global file system space for domtool daemon to share *)

    val localRoot : string
    (* Local file system space for domtool to generate configuration into *)

    val installPrefix : string
    (* Prefix for domtool bin/share data ala GNU $PREFIX *)

    val cat : string
    val cp : string
    val diff : string
    val rm : string
    val echo : string
    val grep : string
    val sudo : string
    (* Paths to standard UNIX utilities *)

end
Commit	Line	Data
979844d5 CE	1	(* Core configure to allow domtool to be easily relocated *)
	2	signature CONFIG_CORE = sig
	3
	4	val sharedRoot : string
	5	(* Global file system space for domtool daemon to share *)
	6
	7	val localRoot : string
	8	(* Local file system space for domtool to generate configuration into *)
	9
	10	val installPrefix : string
	11	(* Prefix for domtool bin/share data ala GNU $PREFIX *)
	12
	13	val cat : string
	14	val cp : string
	15	val diff : string
	16	val rm : string
	17	val echo : string
	18	val grep : string
	19	val sudo : string
	20	(* Paths to standard UNIX utilities *)
	21
	22	end