GitHub supports several lightweight markup languages for documentation; the most popular ones (generally, not just at GitHub) are Markdown and reStructuredText. Markdown is sometimes considered easier to use, and is often preferred when the purpose is simply to generate HTML. On the other hand, reStructuredText is more extensible and powerful, with native support (not just embedded HTML) for tables, as well as things like automatic generation of tables of contents.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# Check if the individual developer has his own hook | |
CMD_NAME=`basename $0` | |
if [ -f $GIT_DIR/hooks/personal/$CMD_NAME ] | |
then | |
# If so, run it. $@ passes all the command line arguments passed to this function | |
# If the personal hook fails, fail this one as well | |
if ! $GIT_DIR/hooks/personal/$CMD_NAME $@ | |
then |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/env python | |
"""Simple script to merge multiple RRD files together. | |
Accepts any number of RRD file names as arguments. Produces an "rrdtool dump" | |
style file on stdout. The last RRD file should have a slot for every possible | |
record in the resulting merged RRD. | |
Run something like: | |
$ python simple-merge-rrd.py filea.rrd fileb.rrd filec.rrd | \ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// dblclick on a code snippet to display it (almost) fullscreen | |
// dblclick again to hide it | |
(function () { | |
"use strict"; | |
function expand (node) { | |
node.addEventListener('dblclick', function () { | |
var clone = node.cloneNode(true); | |
clone.style.bottom = 0; |