abbot.galois.com is the current physical machine that hosts several widely used Haskell virtual hosts:
This page is intended to be the document that outlines the practices and procedures used to maintain abbot. Additionally, it may contain information about downtimes and upgrades.
1 Platform Notes
abbot is an HP ProLiant DL12 G6 equipped with
- quad-core 2.40GHz Xeon X3430 processor
- 8 GB RAM
- 680GB RAID-1 filesystem
- Debian lenny amd64
Most user-maintained directory trees are backed up nightly: /etc, /home, /opt, /srv, /usr/local, and /var.
Questions or requests for help can be addressed to [email protected]
2 Account Creation
Once someone has been approved for an account, the new user should submit three items:
- a preferred username
- an .ssh/authorized_keys file containing a valid public SSH key (password logins are discouraged and may be disallowed in the future)
- an e-mail address (abbot does not spool mail, so any outbound mail needs to be rewritten with a valid off-site address)
Heinlein 17:45, 6 April 2010 (UTC)