ISR computing resources

Important information

The support email contact for the ISR is the following: sysadmin (at) isr.ist.utl.pt

To create an account, please print and fill in File:User-form.pdf this PDF form and deliver it to the ISR secretariat (7th floor).

The ISR computer center provides the following services to all ISR users.

Mail: mailboxes for incoming mail, accessible via IMAP, POP3, and Web, all secured with SSL (Cyrus IMAP), and authenticated outgoing mail (Sendmail)
UNIX accounts: shell accounts in a Linux server, accessible via SSH protocol, including hosting of personal pages. All accounts are daily backed-up (see below)
Mailing lists: besides the usual mail alias mechanism, hosting of mailing lists including public/private archives and web administration interface (Mailman software)
Mail filtering: web interface to edit rules for mail filtering, including ability too discard or move to specific folders, based on pattern matching rules (Sieve)
Other services: SVN, MySQL, FTP mirror

See next section for configuration details.