ngauthier

This is a guide for setting up rdio in ubuntu. Specifically via gnome-shell as an application.

Step 1.

Install Google Chrome on linux

Step 2.

Download Rdio's icon. Place it in ~/.local/share/icons/rdio.png.

piscisaureus

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = git@github.com:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:

mzjn

from os.path import exists
from array import array

from java.io import StringReader, File
from javax.xml.transform.sax import SAXSource
from javax.xml.transform.stream import StreamSource
from org.xml.sax import InputSource

from net.sf.saxon.s9api import (QName, Processor, Serializer, ItemType, OccurrenceIndicator,
                                XdmAtomicValue, ExtensionFunction, SequenceType)

igrigorik

# gem install ruby-prolog
# https://github.com/preston/ruby-prolog/

# Prolog code:
#
# mother_child(trude, sally).
#
# father_child(tom, sally).
# father_child(tom, erica).
# father_child(mike, tom).