jozefg

signature KEY =
sig
    type t
    val compare : t * t -> order
end

signature PQUEUE =
sig
    type t
    type key

pjan

# install docker (bootstrap)
curl -sSL https://get.docker.io/ubuntu/ | sudo sh

# add current user to docker group
sudo gpasswd -a ${USER} docker

# restart the docker daemon
sudo service docker restart

koreno

Prebase

git-prebase improves on 'git rebase -i' by adding information per commit regarding which files it touched.

• Each file gets an alpha-numeric identifier at a particular column, a list of which appears below the commit list. (The identifiers wrap around after the 62nd file)
• Commits can be moved up and down safely (without conflicts) as long as their columns don't clash (they did not touch the same file).

Installation

Add the executable to your path and git will automatically expose it as

branneman

#!/usr/bin/env node

'use strict';

var spawn = require('child_process').spawn;

var args = [
  '--harmony',
  'app/bootstrap.js'
];

KazWolfe

###########
# Pokemon GO Data Dump (in no order)
# By Kaz Wolfe (@KazWolfe on gaming.stackexhange.com)
# Dump version 3.3, pulled from 0.29.0
#
# Feel free to use this dump in anything, but please link back to it!
# This ensures that people can see and use the source of the data 
# (which updates regularly), and find out new things.
#
# Thanks Anonymous for some data: https://gist.github.com/anonymous/077d6dea82d58b8febde54ae9729b1bf

marctrem

#!/usr/bin/env ocaml

#use "topfind"
#thread
#require "core"

open Core

type name_unset
type name_set

thlorenz

Collaborator Guidelines

Now where you are a collaborator you have certain powers that you should use carefully, so I'm listing some guidelines here.

Contributing

Proposing a Change

Even though as a contributor you could push directly to master, please don't do that. Instead each bug fix or feature

sindresorhus

Tested against the WebKit git repo by entering the repo with 1 file dirty.

---

git diff --quiet --ignore-submodules HEAD # Will tell if there are any uncomitted changes, staged or not.
0.6 sec

git diff-index --quiet HEAD # Only tracked
2 sec

garybernhardt

This document has moved!

It's now here, in The Programmer's Compendium. The content is the same as before, but being part of the compendium means that it's actively maintained.

danielrw7

#!/bin/sh

command="${*}"
printf "Initialized REPL for `%s`\n" "$command"
printf "%s> " "$command"
read -r input
while [ "$input" != "" ];
do
    eval "$command $input"
    printf "%s> " "$command"