ISR computing resources
Important information
To create an account, please print and fill in this PDF form and deliver it to the ISR secretariat (7th floor).
The support email contact for the ISR is the following: sysadmin (at) isr.ist.utl.pt
Available services
The ISR computer center provides the following services to all ISR users.
- Mail: mailboxes for incoming mail, accessible via IMAP, POP3, and Webmail, all secured with SSL (Cyrus IMAP), and authenticated outgoing mail (Sendmail)
- New webmail interface -- recommended option
- Old webmail interface -- use it to change your mail password
- 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). Hosted mailing lists
- 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). Web interface
- Other services: SVN, MySQL, FTP mirror
See next section for configuration details.
Configuration instructions
| Address | = | (assigned by systems administration) |
| Network | = | 10.0.0.0 |
| Broadcast | = | 10.0.255.255 |
| Netmask | = | 255.255.0.0 |
| Gateway | = | 10.0.0.254 |
| DNS Domain | = | isrnet |
| DNS servers | = | 10.0.0.1, 10.0.0.2 |
| DNS search order | = | isrnet, isr.ist.utl.pt, ist.utl.pt |
Available campus licenses
Please check CIIST pages for further information.
HOW-TO section
- How to install a network printer
- How to set duplex printing as default
- How to install the workCentre 5222 on linux
- How to create a personal web page
- How to protect personal web pages with a password
- How to install (and update) SuSE Linux (via network, from ISR mirror)
- How to add the ISR address book
- How to install a printer via a CUPS server (this procedure applies to all printers/servers using the LPD protocol)
- How to access your desktop computer from outside ISR
- How to forward all ISR mail to another account
- How to configure a "out of the office" automated message
- How to transfer address book from the former to the new webmail platform
- How to edit SVN configuration files
- How to use authenticated proxy
Information
This section contains miscelaneous reference information regarding ISR network.