Difference between revisions of "Abbot"
Tomjaguarpaw (talk | contribs) (Deleting page that hasn't been edited for over 10 years) |
m (Reverted edits by Tomjaguarpaw (talk) to last revision by Heinlein) |
||
| 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) |
||
Revision as of 15:20, 6 February 2021
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:
- adduser --disabled-password --gecos "Full Name" newuser
- chmod -R go-rwx /home/newuser
- Add new user to any necessary supplementary groups: cvs, haskell, hackage, ...
- install public SSH key as /home/newuser/.ssh/authorized_keys
- add off-site e-mail address to /etc/aliases and /etc/email-addresses
A user password should only be created when that person needs sudo privileges.
Heinlein 18:03, 6 April 2010 (UTC)