Vuzereus

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:

If anyone is interested in setting up their system to automatically (or manually) sign their git commits with their GPG key, here are the steps:

Generate and add your key to GitHub
$ git config --global commit.gpgsign true ([OPTIONAL] every commit will now be signed)
$ git config --global user.signingkey ABCDEF01 (where ABCDEF01 is the fingerprint of the key to use)
$ git config --global alias.logs "log --show-signature" (now available as $ git logs)
$ git config --global alias.cis "commit -S" (optional if global signing is false)
$ echo "Some content" >> example.txt
$ git add example.txt
$ git cis -m "This commit is signed by a GPG key." (regular commit will work if global signing is enabled)

	<!DOCTYPE html>
	<html>
	<head>
	<meta charset="utf-8">
	<title>IndexedDB Example</title>
	</head>
	<body>
	<h1>IndexedDB Example</h1>

	<p>

	/jslint bitwise: true, indent: 2, nomen: true, regexp: true, stupid: true/
	(function () {
	'use strict';

	var exports = {};

	exports.uuid4 = function () {
	//// return uuid of form xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx
	var uuid = '', ii;
	for (ii = 0; ii < 32; ii += 1) {

	<?php
	// Output screenshot:
	// http://cl.ly/NsqF
	// -------------------------------------------------------

	include_once 'console.php';

	// ::log method usage
	// -------------------------------------------------------
	Console::log('Im Red!', 'red');

	<?php
	// A library to implement queues in PHP via arrays
	// The Initialize function creates a new queue:
	function &queue_initialize() {
	// In this case, just return a new array
	$new = array();
	return $new;
	}
	// The destroy function will get rid of a queue
	function queue_destroy(&$queue) {


	function initializeLeadUserInput() {
	var autoCompleteInput = document.getElementById('auto-complete-input');
	window.autoComplt.enable(autoCompleteInput, {
	hintsFetcher: function (text, openAutocompleteList) {
	$.ajax({
	url: '/getautocompletelist',
	type: 'post',
	data: { search: text },
	dataType: 'json',

	function calcDistanceInMetresBetweenTwoPoints(Point1, Point2) {
	const EARTH_RADIUS = 6371e3; // 6,371,000 metres

	const latitude1 = (Point1.lat * Math.PI) / 180;
	const latitude2 = (Point2.lat * Math.PI) / 180;

	const deltaLatitude = ((Point2.lat - Point1.lat) * Math.PI) / 180;
	const deltaLongitude = ((Point2.lon - Point1.lon) * Math.PI) / 180;

	const angle =