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:
- HTTP pxxxy server – Pick this option from the dropdown.
- xxx.xxx.xxx.xxx – This is the IP Address of the Pxxxy.
- 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:
|
1 |
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:
|
1 2 3 |
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
|
1 |
cd /etc/apt/apt.conf.d/ |
2) Create a new file called 10Proxy
|
1 |
sudo nano 10proxy |
3) Add this file
|
1 |
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:
|
1 |
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:
|
1 |
172.16.2.35 decepticon decepticon.jogdom.local |