% ssh <netid>@sevawhere <netid> is your Georgetown Net ID. For example,
% ssh maloofm@sevaIf this doesn't work (e.g., you might be connecting from off of campus), then you may have to give the complete machine name:
% ssh <netid>@seva.georgetown.edu
Here is a transcript of a sample session, with things I've typed set in boldface:
home% ssh maloofm@seva maloofm@seva's password: Last login: Mon Jan 15 14:50:58 2007 from home.georgetown.edu seva% logout Connection to seva closed. home%
From here, you can use