thomasjo

RweaveLatexMinted <- function()
{
    list(setup = RweaveLatexSetup,
         runcode = RweaveLatexRuncodeMinted,
         writedoc = RweaveLatexWritedocMinted,
         finish = RweaveLatexFinish,
         checkopts = RweaveLatexOptions)
}

makeRweaveLatexCodeRunnerMinted <- function(evalFunc=RweaveEvalWithOpt)

thomasjo

If you want to download GitHub PRs to your local repository, you can use a little trick to download them as local branches.

Open the repository configuration file (.git/config) and search for the origin block. Change it from:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = [email protected]:USERNAME/REPOSITORY.git

thomasjo

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 = [email protected]: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:

thomasjo

#!/bin/bash

case $# in
   0)
      echo "Usage: $0 {start|stop}"
      exit 1
      ;;
   1)
      case $1 in
         start)