Network Configuation

One problem with using a Raspberry Pi in school is that you are protected from evil-web-ness by the PxxxY.  You see we cannnot even say the word without getting this page blocked too.  This page explains how to set up your RPi so you can access the network and internet.

Web Browser

If you go to the settings pane of Midori (The RPi Browser) and click on the Network tab you are able to set it up.  You should fill in the first 3 boxes:

1. HTTP pxxxy server – Pick this option from the dropdown.
2. xxx.xxx.xxx.xxx – This is the IP Address of the Pxxxy.
3. xxxx – The port number of the Pxxxy (3128 or 8080).

Environment

You can also use the environment setting by creating a /etc/environment file and adding the following line:

export http_proxy=http://ip_address:port

Bash Terminal Set Up

If you want to set the Pi up so you can access the web via the terminal for commands such as wget then you need to configure Bash by editing your .bash_rc file.  Open it up with nano ~/.bash_rc and type:

export http_proxy=http://ip_address:port
 
export https_proxy=http://ip_address:port

Note there are no spaces either side of the equals. Click CTRL-O to save and CTRL-X to quit before closing the terminal and reopening again.  You must restart the terminal in order to pick up the new settings.

Apt-Get

You will want to use apt-get to gain updates from the Raspberry Pi servers.  You need to use nano again to add a proxy file to /etc/apt/apt.conf.d/ which is called 01proxy, 10proxy or 99proxy! 1) Move to the apt configuration folder

cd /etc/apt/apt.conf.d/

2) Create a new file called 10Proxy

sudo nano 10proxy

3) Add this file

Acquire::http::Proxy “http://ipaddress:port“;

Use the normal Ctrl-O Enter Ctrl-X to write and save the file afterwards. You might need to restart the PI once you have made this change for it to be picked up by the operating system.

Connecting to other computers on the Network

If you want to connect to another computer such as Decepticon without using its IP Address it must be added to the hosts file.  To do this open up a terminal and type:

sudo nano /etc/hosts

Scroll to the bottom of the page and add a new entry with the correct IP address and the name of the computer you are trying to talk to for example:

172.16.2.35 decepticon decepticon.jogdom.local