Alexander Wagner Triamus

Configure Git to use a proxy

##In Brief

You may need to configure a proxy server if you're having trouble cloning or fetching from a remote repository or getting an error like unable to access '...' Couldn't resolve host '...'.

Consider something like:

	#!/bin/sh

	# installation of Oracle Java JDK.
	sudo apt-get -y update
	sudo apt-get -y install python-software-properties
	sudo add-apt-repository -y ppa:webupd8team/java
	sudo apt-get -y update
	sudo apt-get -y install oracle-java7-installer

	# Installation of commonly used python scipy tools