1,185
edits
Changes
m
no edit summary
Open up a Terminal, and type
ssh -N -p 22 -f -2 -L 8000/127.0.0.1/53717 emiller@wso.williams.edu
EXCEPT instead of 53717, put the port number that you wrote down, and instead of "emiller", type your WSO account name. Unfortunately, you'll have to run this command somewhat frequently, since SSH connections close when your computer reboots or goes to sleep (or WSO crashes, or whatever...). To make this a little less tedious, open the file called .bashrc in your home directory and add this line:
alias wso8000='ssh -N -p 22 -f -2 -L 8000/127.0.0.1/53717 emiller@wso.williams.edu'
Again, make the substitutions for your own port and username. Now, if you need to establish the connection, just type "wso8000" in a terminal window. You can pick a different alias, of course.