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 |