basically the most basic of leaflet maps posible
basically
| import random | |
| import signal | |
| import gevent | |
| import redis | |
| REDIS_URL = 'redis://127.0.0.1:6379' | |
| REDIS_CHANNEL = 'pubsub_demo' |
| // Disable bold. | |
| term_.prefs_.set('enable-bold', false) | |
| // Use this for Solarized Dark | |
| term_.prefs_.set('background-color', "#002b36"); | |
| term_.prefs_.set('foreground-color', "#839496"); | |
| term_.prefs_.set('color-palette-overrides', [ | |
| '#073642', | |
| '#dc322f', |
| #!/usr/bin/env python | |
| import random | |
| f = open('us-states.json', 'w') | |
| f.write("""{"type":"FeatureCollection","features":[\n""") | |
| lat = 35.0 | |
| lng = -87.3 |
| #!/usr/bin/env python | |
| import json | |
| import random | |
| def build_rand_str(): | |
| gen = '' | |
| for i in range(8): | |
| gen += random.choice('ABCDEFGH') | |
| return gen |