ISR computing resources

From ISRWiki
Jump to navigation Jump to search

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)
  • 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). HOWTO: login into webmail, select Mail, and then FIlters.
  • Other services: SVN, MySQL, FTP mirror

See next section for configuration details.

Configuration instructions

Local wired network access

The wired network is fully open and automatic IP addresses is supported (DHCP).

However, fixed IPs can be registered (contact sysadmin@isr.ist.utl.pt for that) and the configuration is:

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, isrwifi, isr.ist.utl.pt

IPv6 configuration (upon request)

Address = (assigned by systems administration)
Prefix Length = 96
Gateway = 2001:690:2100:412::fffe
DNS Domain = ipv6.isr.ist.utl.pt

Wireless network

Access to the ISR wireless network requires a one-time registration per machine. The SSID of the network is ISR.

Registration instructions:

  1. select the ISR wireless network
  2. if a login pages does not automatically appear, go to any web page using a web browser and a login page should appear
  3. at the login page use your ISR email credentials
  4. (optional) fill in an identification of the machine in the "Optional observation" field and click on the REGISTER button
  5. you are now registered with full access to the Internet; you can now click Logout

The network is fully open and automatic IP addresses is supported (DHCP). However, fixed IPs can be registered (contact sysadmin@isr.ist.utl.pt for that) and the configuration is:

Address = (assigned by systems administration)
Network = 10.1.0.0
Broadcast = 10.1.255.255
Netmask = 255.255.0.0
Gateway = 10.1.0.254
DNS Domain = isrwifi
DNS servers = 10.0.0.1, 10.0.0.2
DNS search order = isrwifi, isrnet, isr.ist.utl.pt

Available campus licenses

Please check CIIST pages for further information.

HOW-TO section

F.A.Q. section

Information

This section contains miscelaneous reference information regarding ISR network.