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
Local wired network access
| 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 |
Wireless network
Wireless networking at IST campus is supported by CIIST; more information here: http://wifi.ist.utl.pt/
Available campus licenses
Please check CIIST pages for further information.
HOW-TO section
- How to change the passwords
- 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
F.A.Q. section
- How to specify IMAP protocol under Windows™?
- Can you recommend a user-friendly FTP/SSH software?
- Does omni provide a SAMBA service?
Information
This section contains miscelaneous reference information regarding ISR network.