ISR computing resources: Difference between revisions

From ISRWiki
Jump to navigation Jump to search
 
(33 intermediate revisions by 3 users not shown)
Line 1: Line 1:
== Important information ==
== Important information ==
To create an account, please print and fill in [[Media:User-form.pdf|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'''
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 [[Image:User-form.pdf this PDF form]] and deliver it to the ISR secretariat (7th floor).


== Available services ==
== Available services ==
Line 9: Line 9:
The ISR computer center provides the following services to all ISR users.
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)
* '''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://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)
* '''Mailing lists''': besides the usual mail alias mechanism, hosting of mailing lists including public/private archives and web administration interface (Mailman software)
** [[Login instructions]]
* '''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)
* '''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). 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 18: Line 22:


== Configuration instructions ==
== 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:
{|
|-
|align="right"| Address || = || ''(assigned by systems administration)''
|-
|align="right"| Network || = || 10.0.0.0
|-
|align="right"| Broadcast || = || 10.0.255.255
|-
|align="right"| Netmask || = || 255.255.0.0
|-
|align="right"| Gateway || = || 10.0.0.254
|-
|align="right"| DNS Domain || = || isrnet
|-
|align="right"| DNS servers || = || 10.0.0.1, 10.0.0.2
|-
|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 ===
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 ==
Please check [http://ciist.ist.utl.pt CIIST pages] for further information.


== HOW-TO section ==
== 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 Xerox WorkCentre 5222 in 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]]
* [[How to automatically include a list of your publications from the ISR database into a web page]]
== 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?]]
* [[Unable to send emails using Thunderbird]]
* [[Unable to ssh to omni]]


== Information ==
== Information ==
This section contains miscelaneous reference information regarding ISR network.
* [[IP allocation]]

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.