Domtool Module Hcoop

HCoop-specific stuff


extern type homedir_path
extern val home : homedir_path -> your_path
extern val homeS : no_spaces -> no_spaces
val mailmanHcoop : [Domain]
val deleuze_ip : ip
val mire_ip : ip
val navajos_ip : ip
val bog_ip : ip
val mccarthy_ip : ip
val hopper_ip : ip
val fritz_ip : ip
val outpost_ip : ip
val outpost_ipv6 : ipv6
val gibran_ip : ip
val gibran_private_ip : ip
val gibran_ipv6 : ipv6
val lovelace_ip : ip
val lovelace_private_ip : ip
val lovelace_ipv6 : ipv6
val marsh_ip : ip
val marsh_private_ip : ip
val marsh_ipv6 : ipv6
val minsky_ip : ip
val minsky_private_ip : ip
val minsky_ipv6 : ipv6
val shelob_ip : ip
val shelob_private_ip : ip
val shelob_ipv6 : ipv6
val simpleWeb :
 host ->
  homedir_path ->
   [Domain]
    {DefaultWebNode : web_node,
      Group : your_group,
       PhpVersion : php_version,
        SSL : ssl,
         ServerAdmin : email, SuExec : suexec_flag, TTL : int, User : your_user}

extern type homedir_path

Some relative subdirectory of your home directory

extern val home : homedir_path -> your_path

Shortcut to denote a subdirectory of your home directory

extern val homeS : no_spaces -> no_spaces

Use this version when it doesn't matter if the output is a real filesystem path.

val mailmanHcoop : [Domain]

Configure your domain to have its Mailman mailing lists served on the web at lists.hcoop.net.

val deleuze_ip : ip

val mire_ip : ip

val navajos_ip : ip

val bog_ip : ip

val mccarthy_ip : ip

val hopper_ip : ip

val fritz_ip : ip

val outpost_ip : ip

val outpost_ipv6 : ipv6

val gibran_ip : ip

val gibran_private_ip : ip

val gibran_ipv6 : ipv6

val lovelace_ip : ip

val lovelace_private_ip : ip

val lovelace_ipv6 : ipv6

val marsh_ip : ip

val marsh_private_ip : ip

val marsh_ipv6 : ipv6

val minsky_ip : ip

val minsky_private_ip : ip

val minsky_ipv6 : ipv6

val shelob_ip : ip

val shelob_private_ip : ip

val shelob_ipv6 : ipv6

val simpleWeb :
 
host ->
  homedir_path ->
   [Domain]
    {DefaultWebNode : web_node,
      Group : your_group,
       PhpVersion : php_version,
        SSL : ssl,
         ServerAdmin : email, SuExec : suexec_flag, TTL : int, User : your_user}