A defs-file for use with the mini-testbed. For now, mail addresses are

unchanged to avoid setting up a new testbed-ops list, but this can be changed
if it becomes a problem.

defs-mini

+#
+# This is the defaults definitions file for configure.
+#
+# Use the --with-TBDEFS=filename to specify your own. If you add a variable,
+# be sure to go and update configure.in.
+#
+TBDBNAME=tbdb
+WWWDEFS=default
+TBOPSEMAIL='Testbed Operations <testbed-ops@flux.cs.utah.edu>'
+TBLOGSEMAIL=testbed-logs@flux.cs.utah.edu
+IPBASE=192.168
+DELAYCAPACITY=2
+BOSSNODE=boss.mini.emulab.net
+USERNODE=users.mini.emulab.net
+OURDOMAIN=mini.emulab.net