Tony Wang tonywangcn

Use Proxy for Git/GitHub

Generally, the Git proxy configuration depends on the Git Server Protocal you use. And there're two common protocals: SSH and HTTP/HTTPS. Both requires a proxy setup already. In the following, I assume a SOCKS5 proxy set up on localhost:1080. But it can also be a HTTP proxy. I'll talk about how to set up a SOCKS5 proxy later.

SSH Protocol

When you do git clone ssh://[user@]server/project.git or git clone [user@]server:project.git, you're using the SSH protocal. You need to configurate your SSH client to use a proxy. Add the following to your SSH config file, say ~/.ssh/config:

ProxyCommand nc -x localhost:1080 %h %p

Use Proxy for Git/GitHub

Generally, the Git proxy configuration depends on the Git Server Protocal you use. And there're two common protocals: SSH and HTTP/HTTPS. Both requires a proxy setup already. In the following, I assume a SOCKS5 proxy set up on localhost:1080. But it can also be a HTTP proxy. I'll talk about how to set up a SOCKS5 proxy later.

SSH Protocol

When you do git clone ssh://[user@]server/project.git or git clone [user@]server:project.git, you're using the SSH protocal. You need to configurate your SSH client to use a proxy. Add the following to your SSH config file, say ~/.ssh/config:

ProxyCommand nc -x localhost:1080 %h %p

	###############################################################################
	# Helpful Docker commands and code snippets
	###############################################################################

	### CONTAINERS ###
	docker stop $(docker ps -a -q) #stop ALL containers
	docker rm -f $(docker ps -a -q) # remove ALL containers
	docker rm -f $(sudo docker ps --before="container_id_here" -q) # can also filter

	# exec into container

	#!/usr/bin/env python
	# -- coding: utf-8 --

	'''

	This script just show the basic workflow to compute TF-IDF similarity matrix with Gensim


	OUTPUT :

	import sys, os, logging, subprocess, json
	import gevent


	logging.basicConfig(level=logging.DEBUG)

	APP_ROOT = os.path.dirname(os.path.realpath(__file__))
	YSLOW = os.path.join(APP_ROOT, 'js/yslow.js')
	PHANTOMJS = "/usr/local/bin/phantomjs"

	# Small Python Script to scrape websites for
	# email addresses and phone numbers(not a very great RE)
	# Author: Dhruv Baldawa (@dhruvbaldawa on twitter)
	# Github: http://www.github.com/dhruvbaldawa

	import urllib,re
	f = urllib.urlopen("http://www.example.com")
	s = f.read()
	re.findall(r"\+\d{2}\s?0?\d{10}",s)
	re.findall(r"[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\.[A-Za-z]{2,4}",s)

	"""Genetic Algorithmn Implementation
	"""
	#引入随机函数
	import random

	#定义基因遗传算法顶层接口
	class GeneticAlgorithm(object):

	# 定义算法初始化
	def __init__(self, genetics):

	<?php if (!defined('BASEPATH')) exit('No direct script access allowed');

	/**
	* @ignore
	*/
	class OAuthException extends Exception {
	// pass
	}

	class Oauth2_lib {