A new server shell.cs.fsu.edu replaced old shell.cs.fsu.edu. It runs CentOS 7.2 Linux. When you ssh to the server, you may see ssh key change warning. You may need to remove old shell.cs.fsu.edu host key before you can accept the new host key. Contact Systems Group if you have questions on the new server.