awalterschulze

Generated Agda HTML is in the zip file

This makes it easier to read code using Go to Definition, since installing Agda is a challenge not everyone is up to

awalterschulze

mybinary

awalterschulze

all:
	make build
	make objdump

build:
	go build -gcflags -m main.go

objdump:
	go tool objdump -s "main.main" main | grep CALL

awalterschulze

.stack-work

awalterschulze

_build

awalterschulze

.. table:: Table Name
   :widths: 1000 1000

   +------------------+---------------------------------------------------+
   | ❌               |  ✅                                               |
   +==================+===================================================+
   | .. code:: erlang |  .. code:: erlang                                 |
   |                  |                                                   |
   |    File_name     |     FileName                                      |
   |    File_Name     |     _File                                         |

awalterschulze

FROM cassandra:3.1.1

RUN mkdir -p /tmp/var/lib/cassandra /etc/cassandra \
	&& chown -R cassandra:cassandra /tmp/var/lib/cassandra /etc/cassandra \
	&& chmod 777 /tmp/var/lib/cassandra /etc/cassandra

RUN sed -i "s~/var/lib/cassandra~/tmp/var/lib/cassandra~g" /etc/cassandra/cassandra.yaml

COPY *.cql /tmp/

awalterschulze

FROM python:2.7.9-wheezy

RUN git clone https://github.com/shk3/edx-downloader
RUN (cd edx-downloader && pip install -r requirements.txt)
RUN pip install --upgrade youtube_dl

VOLUME /tmp/
WORKDIR /tmp/

ENTRYPOINT bash

awalterschulze

#!/bin/bash
# Delete all containers
docker rm $(docker ps -a -q)
# Delete all images
docker rmi $(docker images -q)

Reference: http://techoverflow.net/blog/2013/10/22/docker-remove-all-images-and-containers/

awalterschulze

package main

import (
	"encoding/base64"
	gojson "encoding/json"
	"fmt"
	"io"

	"github.com/katydid/katydid/parser"
	"github.com/katydid/katydid/parser/json"