Skip to content

Instantly share code, notes, and snippets.

Avatar

Vincent Houlbrèque vinzeebreak

View GitHub Profile
@wy193777
wy193777 / download.py
Last active Aug 8, 2021
Download file through HTTP using requests.py and tqdm
View download.py
import requests
from tqdm import tqdm
def download_from_url(url, dst):
"""
@param: url to download file
@param: dst place to put the file
"""
file_size = int(urlopen(url).info().get('Content-Length', -1))
if os.path.exists(dst):
@siamkreative
siamkreative / french-regions-departments.json
Last active Feb 7, 2019
Regions & Departments of France (JSON format). Régions et Départements de France (format JSON). Inspired from https://en.wikipedia.org/wiki/Regions_of_France & https://en.wikipedia.org/wiki/Departments_of_France
View french-regions-departments.json
{
"regions": {
"alsace": [67, 68],
"aquitaine": [40, 47, 33, 24, 64],
"auvergne": [43, 3, 15, 63],
"basse-normandie": [14, 61, 50],
"bourgogne": [21, 58, 71, 89],
"bretagne": [29, 35, 22, 56],
"centre": [45, 37, 41, 28, 36, 18],
"champagne-ardenne": [10, 8, 52, 51],
@datagrok
datagrok / README.md
Last active Jun 6, 2021
Circular imports in Python 2 and Python 3: when are they fatal? When do they work?
View README.md
@derhuerst
derhuerst / intro.md
Last active Oct 16, 2021
Installing Git on Linux, Mac OS X and Windows
View intro.md
@rxaviers
rxaviers / gist:7360908
Last active Oct 18, 2021
Complete list of github markdown emoji markup
View gist:7360908

People

:bowtie: :bowtie: 😄 :smile: 😆 :laughing:
😊 :blush: 😃 :smiley: ☺️ :relaxed:
😏 :smirk: 😍 :heart_eyes: 😘 :kissing_heart:
😚 :kissing_closed_eyes: 😳 :flushed: 😌 :relieved:
😆 :satisfied: 😁 :grin: 😉 :wink:
😜 :stuck_out_tongue_winking_eye: 😝 :stuck_out_tongue_closed_eyes: 😀 :grinning:
😗 :kissing: 😙 :kissing_smiling_eyes: 😛 :stuck_out_tongue:
@gordonbrander
gordonbrander / ID.js
Created Mar 28, 2012
ID - a unique ID/name generator for JavaScript
View ID.js
// Generate unique IDs for use as pseudo-private/protected names.
// Similar in concept to
// <http://wiki.ecmascript.org/doku.php?id=strawman:names>.
//
// The goals of this function are twofold:
//
// * Provide a way to generate a string guaranteed to be unique when compared
// to other strings generated by this function.
// * Make the string complex enough that it is highly unlikely to be
// accidentally duplicated by hand (this is key if you're using `ID`
@glennblock
glennblock / fork forced sync
Created Mar 4, 2012
Force your forked repo to be the same as upstream.
View fork forced sync
git fetch upstream
git reset --hard upstream/master
@CristinaSolana
CristinaSolana / gist:1885435
Created Feb 22, 2012
Keeping a fork up to date
View gist:1885435

1. Clone your fork:

git clone git@github.com:YOUR-USERNAME/YOUR-FORKED-REPO.git

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo
git remote add upstream git://github.com/ORIGINAL-DEV-USERNAME/REPO-YOU-FORKED-FROM.git
git fetch upstream