Mon Jul 08, 2013 10:29 pm
I am trying to use a Raspberry Pi at my school, and as I have no suitable monitors I am trying to do so headlessly. I've set a static IP (so I can find it on the network), netmask, gateway, etc. and can use ssh to remotely log in fine. The problem is that I also want to be able to VNC to the GUI. The school's access to the 'net is via eduproxy.bgfl.org:80 and apt-get can't connect to anything. I've looked online and many are suggesting that it is as simple as creating an apt.conf file with a line in it, but this seems to have no effect. When I try sudo apt-get install tightvncserver the screen tells me it is trying to connect to eduproxy but gives up. Anybody have any ideas of what I should try? Is there something I could try from the command line that will tell me I can successfully talk to the internet at all (pinging the net never works on any machine because of the way the proxy is set up)?