Skip to content

Instantly share code, notes, and snippets.


Jan Oliver Oelerich janoliver

View GitHub Profile
View gist:7b994b142cd32fe84bcf12369e7e7d0a
tid, bid
time IN (
DATETIME('2009-10-25 02:24:47'),
DATETIME('2007-10-28 02:09:55'),
DATETIME('2007-10-28 02:32:01'),
DATETIME('2006-10-29 02:25:44'),
#!/bin/env python
import gc
from import bulk, cut
from gpaw import GPAW, mpi
my_comm =[])
my_output = "log_%d" %

Keybase proof

I hereby claim:

  • I am janoliver on github.
  • I am janoliver ( on keybase.
  • I have a public key ASAGu6-XK2axkOi7kB6nn1jI6PPtmEmNkJjrXG1SgDdLUQo

To claim this, I am signing this object:

janoliver /
Created Aug 10, 2016
Create scientific presentations with Inkscape, InkSlides and InkTex

In this short article, I show you how to create nice scientific presentations using a combination of Inkscape and LaTex, made possible by two small tools I wrote.

The Tools

  • Inkscape: Our main vector graphics editor to draw the presentation.
  • InkSlides: The python script to convert an Inkscape SVG file to a PDF presentation. Heavily inspired and partly copied from inkscapeslide.
janoliver /
Created Aug 10, 2016
Serve git smart HTTP repositories with uWSGI and nginx

For some joint project of mine, I needed a way for them to access (clone, pull, push) the git repository that is hostet on my server without adding SSH accounts for them. With git 1.6.6 a feature called smart HTTP was introduced, which allows working with the repository via HTTP.

I set up the CGI script for smart HTTP git-http-backend using uWSGI and serve it (including basic authentication) via nginx. Let me show you how.

If you wonder how to set up uWSGI and nginx properly, please read my tutorial on that one. The following is completely comatible to the proposed setup. I assume you have both running and working, and

janoliver /
Last active Jun 9, 2022
Arch Linux as a Web Server

In this tutorial, I briefly explain how to set up a webserver using nginx, openssl and uwsgi on Arch Linux. The tutorial is applicable to other Linux distributions and goes through the required configuration step by step. It is, I believe, beginner friendly.

0. Version

I updated, changed and tested the tutorial on Dec. 8th, 2013. All commands and configuration files relate to the software versions that are currently available in the Arch package repositories. Especially nginx and uwsgi change often and