greut

-- read metadata file into string

local metafile = io.open('metadata.yaml', 'r')
local content = metafile:read("*a")
metafile:close()

-- new elements

local before = pandoc.RawInline('tex', '\\begin{otherlanguage}{english}')
local after = pandoc.RawInline('tex', '\\end{otherlanguage}')

greut

#!/usr/bin/env python3
"""
Convert the CodeBlock into english text. Very useful if the base language adds
some special magic rules which are altering the context. E.g. french puts a
space before the colon (:).

::
    $ pandoc \
        --filter ./code-block-in-english.py \
        ...

greut

package main

import (
	"fmt"
	"gopkg.in/h2non/bimg.v1"
	"os"
	"runtime"
	"strconv"
	"sync"
)

greut

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.net.DatagramPacket;
import java.net.DatagramSocket;
import java.net.ServerSocket;
import java.net.Socket;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

greut

$ hug -f light.py                                                                                                                                                                                                 
/#######################################################################\
          `.----``..-------..``.----.
         :/:::::--:---------:--::::://.
        .+::::----##/-/oo+:-##----:::://
        `//::-------/oosoo-------::://.       ##    ##  ##    ##    #####
          .-:------./++o/o-.------::-`   ```  ##    ##  ##    ##  ##
             `----.-./+o+:..----.     `.:///. ########  ##    ## ##
   ```        `----.-::::::------  `.-:::://. ##    ##  ##    ## ##   ####
  ://::--.``` -:``...-----...` `:--::::::-.`  ##    ##  ##   ##   ##    ##

greut

package ch.hearc.airport;

import java.util.HashMap;
import java.util.concurrent.ArrayBlockingQueue;

public class Main {

	static String[] codePlane = { "3B147", "B3291", "6B239", "B1086", "780B4",
			"32A64", "17A69", "2A431", "647B8", "349A8", "536B8", "9103A",
			"9B210", "139A4", "96B01", "207B9", "830B6", "8435A", "7301B",

greut

A Discord Bot with asyncio

Following last year’s article on Slack, here is how to create a bot for Discord. We will go through a minimalist bot that does close to nothing. Most of the provided examples using libraries like discord.py hide asyncio away. Here we will make it explicit how it works under the hood. Be aware that this is not the easiest way to build a bot but a step-stone to understand what complete libraries do for you.

greut

#!/bin/bash
#
# Usage: ssh <host> ./deploy.sh
#

set -xe

. ~/.bash_profile
cd www/app
. bin/activate

greut

from django.views.generic import ListView
from django.contrib.auth.mixins import LoginRequiredMixin

from .models import Game


class GameListView(LoginRequiredMixin, ListView):
    template_name = "games.html"
    model = Game
    ordering = '-id'

greut

version: '2'

volumes:
  postgres_data:

services:
  postgres:
    image: postgres:9.6-alpine
    environment:
      - POSTGRES_USER=django