sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminatorTerminator should be setup as default now. Restart your terminal (shortcut: "Ctrl+Alt+T").
| import time | |
| import numpy as NP | |
| from redis import StrictRedis as redis | |
| # a 2D array to serialize | |
| A = 10 * NP.random.randn(10000).reshape(1000, 10) | |
| # flatten the 2D NumPy array and save it as a binary string | |
| array_dtype = str(A.dtype) |
| import time | |
| import numpy as NP | |
| from redis import StrictRedis as redis | |
| # a 2D array to serialize | |
| A = 10 * NP.random.randn(10000).reshape(1000, 10) | |
| # flatten the 2D NumPy array and save it as a binary string | |
| array_dtype = str(A.dtype) |
| #!/usr/bin/env python | |
| """Simple HTTP Server With Upload. | |
| This module builds on BaseHTTPServer by implementing the standard GET | |
| and HEAD requests in a fairly straightforward manner. | |
| """ |
| import sys | |
| if sys.version_info[0] == 3: | |
| from io import StringIO | |
| else: | |
| from cStringIO import StringIO | |
| def replace_entities(text, grouped_entities, **replacers): | |
| entities = [] |