|
|
| Line 1: |
Line 1: |
| − | 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 DL120 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:
| |
| − |
| |
| − | # a preferred username
| |
| − | # 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; outbound mail needs to be rewritten with a valid off-site address
| |
| − |
| |
| − | When those are received, the account can be created:
| |
| − |
| |
| − | # <tt>adduser --disabled-password --gecos "Full Name" newuser</tt>
| |
| − | # <tt>chmod -R go-rwx /home/newuser</tt>
| |
| − | # Add new user to any necessary supplementary groups: cvs, haskell, hackage, ...
| |
| − | # install public SSH key as <tt>/home/newuser/.ssh/authorized_keys</tt>
| |
| − | # add off-site e-mail address to <tt>/etc/aliases</tt> and <tt>/etc/email-addresses</tt>
| |
| − |
| |
| − | A user password should only be created when that person needs <tt>sudo</tt> privileges.
| |
| − |
| |
| − | [[User:Heinlein|Heinlein]] 18:03, 6 April 2010 (UTC)
| |