Skip to content

Instantly share code, notes, and snippets.

@gdvalle
gdvalle / timeit_filter.py
Created June 17, 2014 20:16
Script to test speed of filter_leading_non_json_lines()
#!/usr/bin/env python
import timeit
import sys
try:
count = int(sys.argv[1])
except:
count = 1
@gdvalle
gdvalle / gist:8640893
Last active January 4, 2016 15:29
murmur upgrade script
#!/usr/bin/env python
import argparse
import urllib
import os
import tarfile
import subprocess
import logging
logging.basicConfig(format='%(asctime)s: %(message)s', level=logging.DEBUG)
@gdvalle
gdvalle / pasteit.py
Last active December 12, 2015 08:49
hastebinit-like script for paste.pm. Python 2 and 3 compatible.
#!/usr/bin/env python
""""Client for paste.pm"""
import sys
PY3 = sys.version > '3'
if PY3:
from urllib.parse import urlencode
from urllib.request import Request, urlopen
else:
@gdvalle
gdvalle / putty-monokai.reg
Created December 2, 2012 05:24
Monokai style theme for PuTTY; colors copied from ST2's theme
Windows Registry Editor Version 5.00
[HKEY_CURRENT_USER\Software\SimonTatham\PuTTY\Sessions\monokai]
"Colour21"="255,255,255"
"Colour20"="245,222,179"
"Colour19"="200,240,240"
"Colour18"="0,217,217"
"Colour17"="179,146,239"
"Colour16"="174,129,255"
"Colour15"="122,204,218"