DB OpenData Portal:
DB OpenData on GitHub:
| #!/usr/bin/env python | |
| #------------------------------------------------- | |
| # file: twitcher.py | |
| # author: Florian Ehmke | |
| # description: dmenu for twitch streams | |
| #------------------------------------------------- | |
| import argparse | |
| import requests | |
| from subprocess import Popen, PIPE, STDOUT |
| class RequestsSchedule | |
| def fetch_all_expired | |
| # fetch and return all expired definitions from MongoDB | |
| # e.g. use MongoClient somehow | |
| end | |
| end | |
| class RequestToQueuePusher |
| # unicorn_rails -c /data/github/current/config/unicorn.rb -E production -D | |
| rails_env = ENV['RAILS_ENV'] || 'production' | |
| # 16 workers and 1 master | |
| worker_processes (rails_env == 'production' ? 16 : 4) | |
| # Load rails+github.git into the master before forking workers | |
| # for super-fast worker spawn times | |
| preload_app true |
| #!/usr/bin/env bash | |
| # Script to (selectively) save/load multiple Docker images to/from a directory. | |
| # Run ./save-load-docker-images.sh for help. | |
| set -e | |
| directory=$PWD | |
| filter="" |
| >> /usr/bin/time -l ruby thebench.rb 30 1000 | |
| Rehearsal -------------------------------------------------------- | |
| fib(30) 0.260000 0.000000 0.260000 ( 0.255475) | |
| 1000 tempfiles 0.120000 0.250000 0.370000 ( 0.429621) | |
| ----------------------------------------------- total: 0.630000sec | |
| user system total real | |
| fib(30) 0.260000 0.000000 0.260000 ( 0.259108) | |
| 1000 tempfiles 0.130000 0.270000 0.400000 ( 0.848950) |
| import {Observable} from 'rx'; | |
| import {DOM} from 'rx-dom'; | |
| import {toArray, getNodesFromSelector} from './utils'; | |
| let interactions_ = { | |
| 'click': Observable.fromEvent(document.body, 'click') | |
| } | |
| let mutations_ = DOM |
| #!/bin/bash | |
| /usr/sbin/usermod -aG docker <user> |
DB OpenData Portal:
DB OpenData on GitHub:
| git pull # very important, as per https://gist.github.com/lttlrck/9628955#gistcomment-1440927 | |
| git branch -m old_branch new_branch # Rename branch locally | |
| git push origin :old_branch # Delete the old branch | |
| git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote |