ISR computing resources: Difference between revisions

From ISRWiki
Jump to navigation Jump to search
 
(9 intermediate revisions by 2 users not shown)
Line 10: Line 10:


* '''Mail''': mailboxes for incoming mail, accessible via IMAP, POP3, and [http://webmail.isr.ist.utl.pt/ Webmail], all secured with SSL (Cyrus IMAP), and authenticated outgoing mail (Sendmail)
* '''Mail''': mailboxes for incoming mail, accessible via IMAP, POP3, and [http://webmail.isr.ist.utl.pt/ Webmail], all secured with SSL (Cyrus IMAP), and authenticated outgoing mail (Sendmail)
** [[Mail client configuration]]
** [https://webmail.isr.ist.utl.pt New webmail interface] -- recommended option
** [https://webmail.isr.ist.utl.pt New webmail interface] -- recommended option
** [https://omni.isr.ist.utl.pt/oldwebmail Old webmail interface] -- use it to change your mail password
** [https://omni.isr.ist.utl.pt/oldwebmail 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)
* '''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)
** [[Login instructions]]
* '''Mailing lists''': besides the usual mail alias mechanism, hosting of mailing lists including public/private archives and web administration interface (Mailman software). [http://omni.isr.ist.utl.pt/mailman/listinfo Hosted mailing lists]
* '''Mailing lists''': besides the usual mail alias mechanism, hosting of mailing lists including public/private archives and web administration interface (Mailman software). [http://omni.isr.ist.utl.pt/mailman/listinfo 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). [https://omni.isr.ist.utl.pt/sieve Web interface]
* '''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 [https://webmail.isr.ist.utl.pt webmail], select Mail, and then FIlters.
* '''Other services''': SVN, MySQL, FTP mirror
* '''Other services''': SVN, MySQL, FTP mirror


Line 22: Line 24:


=== Local wired network access ===
=== 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:


{|
{|
Line 39: Line 45:
|align="right"| DNS servers || = || 10.0.0.1, 10.0.0.2
|align="right"| DNS servers || = || 10.0.0.1, 10.0.0.2
|-
|-
|align="right"| DNS search order || = || isrnet, isr.ist.utl.pt, ist.utl.pt
|align="right"| DNS search order || = || isrnet, isrwifi, isr.ist.utl.pt
|}
 
=== IPv6 configuration (upon request) ===
 
{|
|-
|align="right"| Address || = || ''(assigned by systems administration)''
|-
|align="right"| Prefix Length || = || 96
|-
|align="right"| Gateway || = || 2001:690:2100:412::fffe
|-
|align="right"| DNS Domain || = || ipv6.isr.ist.utl.pt
|}
|}


=== Wireless network ===
=== Wireless network ===


Wireless networking at IST campus is supported by CIIST; more information here: http://wifi.ist.utl.pt/
Access to the ISR wireless network requires a one-time registration per machine. The SSID of the network is '''ISR'''.
 
Registration instructions:
 
# select the ISR wireless network
# if a login pages does not automatically appear, go to any web page using a web browser and a login page should appear
# at the login page use your ISR email credentials
# (optional) fill in an identification of the machine in the "Optional observation" field and click on the REGISTER button
# 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:
 
{|
|-
|align="right"| Address || = || ''(assigned by systems administration)''
|-
|align="right"| Network || = || 10.1.0.0
|-
|align="right"| Broadcast || = || 10.1.255.255
|-
|align="right"| Netmask || = || 255.255.0.0
|-
|align="right"| Gateway || = || 10.1.0.254
|-
|align="right"| DNS Domain || = || isrwifi
|-
|align="right"| DNS servers || = || 10.0.0.1, 10.0.0.2
|-
|align="right"| DNS search order || = || isrwifi, isrnet, isr.ist.utl.pt
|}


== Available campus licenses ==
== Available campus licenses ==
Line 55: Line 103:
* [[How to install a network printer]]
* [[How to install a network printer]]
* [[How to set duplex printing as default]]
* [[How to set duplex printing as default]]
* [[How to install the Xerox WorkCentre 5222 on linux]]
* [[How to install the Xerox WorkCentre 5222 in Linux]]
* [[How to create a personal web page]]
* [[How to create a personal web page]]
* [[How to protect personal web pages with a password]]
* [[How to protect personal web pages with a password]]
Line 67: Line 115:
* [[How to edit SVN configuration files]]
* [[How to edit SVN configuration files]]
* [[How to use authenticated proxy]]
* [[How to use authenticated proxy]]
* [[How to automatically include a list of your publications from the ISR database into a web page]]


== F.A.Q. section ==
== F.A.Q. section ==
Line 73: Line 122:
* [[Can you recommend a user-friendly FTP/SSH software?]]
* [[Can you recommend a user-friendly FTP/SSH software?]]
* [[Does omni provide a SAMBA service?]]
* [[Does omni provide a SAMBA service?]]
* [[Unable to send emails using Thunderbird]]
* [[Unable to ssh to omni]]


== Information ==
== Information ==

Latest revision as of 11:02, 7 December 2022

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.