Skip to content

Instantly share code, notes, and snippets.

View iamdionysus's full-sized avatar

iamdionysus iamdionysus

6 followers · 8 following
View GitHub Profile
@iamdionysus
iamdionysus / WebClientTrick.cs
Created April 1, 2014 22:57
two points when using System.Net.WebClient
using (var web = new WebClient())
{
web.Encoding = System.Text.Encoding.UTF8;
web.Headers.Add("Content-Type", "application/x-www-form-urlencoded");
}
@iamdionysus
iamdionysus / post-receive
Created February 25, 2014 13:27
post-receive hook under /hooks in order to automate deploy on the server master branch. git push origin master invokes post-receive hook below after the push has been done. Then the code below will be executed which make repository on a server pull the change automatically.
#!/bin/sh
unset GIT_DIR
cd /my/git/project/on/server && git pull origin master
@iamdionysus
iamdionysus / git_setup.sh
Last active December 31, 2015 16:49
git set up
# generate public private key to avoid typing password every time
ssh-keygen -t rsa
scp ~/.ssh/id_rsa.pub user@address:id_rsa.tmp
ssh user@address
cat id_rsa.tmp >> .ssh/authorized_keys
exit
# local git initilization
@iamdionysus
iamdionysus / private_public_key.sh
Created December 18, 2013 02:19
Generate a private/public key pair for password-less authentication. http://superuser.com/questions/338511/how-do-i-disable-password-prompts-when-doing-git-push-pull
$ ssh-keygen -t rsa
$ scp ~/.ssh/id_rsa.pub [email protected]:id_rsa.tmp
$ ssh [email protected]
$ cat id_rsa.tmp >> .ssh/authorized_keys
@iamdionysus
iamdionysus / flask_pywsgi_websocket_reloader.py
Created November 14, 2013 05:49
Flask + websocket from gevent.pywsgi + reloader. I wanted to use Flask for the micro web platform. Added websocket from gevent which needs pywsgi instead of wsgi Finally, for agile development, change should be made on the fly. Code snippet for werkzeug.serving is using gevent.wsgi instead of gevent.pywsgi. If you follow the snippet it causes th…
from gevent import monkey; monkey.patch_all()
from geventwebsocket.handler import WebSocketHandler
from gevent.pywsgi import WSGIServer
from flask import Flask, request, render_template
import werkzeug.serving
app = Flask(__name__)
@app.route('/')
def index():