What are the names of the remote Linux login servers?

Tags linux

For those wishing to run an interactive session on a Linux server (e.g. course work or preparation), please use:

linuxremote1.bucknell.edu

linuxremote2.bucknell.edu

linuxremote3.bucknell.edu