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

structure ConfigCore :> CONFIG_CORE = struct

val sharedRoot = "/afs/hcoop.net/common/etc/domtool"
val localRoot = "/var/domtool" (* warning: changing localRoot will likely break things due to scripts directly referencing /var/domtool *)
val installPrefix = "/usr/local"

val cat = "/bin/cat"
val cp = "/bin/cp"
val diff = "/usr/bin/diff"
val rm = "/bin/rm"
val echo = "/bin/echo"
val grep = "/bin/grep"
val sudo = "/usr/bin/sudo"

end
Commit	Line	Data
979844d5 CE	1	structure ConfigCore :> CONFIG_CORE = struct
	2
	3	val sharedRoot = "/afs/hcoop.net/common/etc/domtool"
20f239b6	4	val localRoot = "/var/domtool" (* warning: changing localRoot will likely break things due to scripts directly referencing /var/domtool *)
979844d5 CE	5	val installPrefix = "/usr/local"
	6
	7	val cat = "/bin/cat"
	8	val cp = "/bin/cp"
	9	val diff = "/usr/bin/diff"
	10	val rm = "/bin/rm"
	11	val echo = "/bin/echo"
	12	val grep = "/bin/grep"
	13	val sudo = "/usr/bin/sudo"
	14
	15	end