Abbot

abbot.galois.com is the current physical machine that hosts several widely used Haskell virtual hosts:

• cvs.haskell.org
• darcs.haskell.org
• hackage.haskell.org

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.

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 haskell-infrastructure@community.galois.com.

Account Creation

Once someone has been approved for an account, the new user should submit three items:

1. a preferred username
2. an .ssh/authorized_keys file containing a valid public SSH key (password logins are discouraged and may be disallowed in the future)
3. 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)