Skip to content

Instantly share code, notes, and snippets.

Sören Henning SoerenHenning

  • Kiel University
  • Kiel, Germany
Block or report user

Report or block SoerenHenning

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
SoerenHenning /
Created Apr 18, 2019
Embed fonts in PDF using Ghostscript
gs -q -dNOPAUSE -dBATCH -dPDFSETTINGS=/prepress -sDEVICE=pdfwrite -sOutputFile=output.pdf input.pdf
SoerenHenning / .gitignore
Created Apr 12, 2019
.gitignore for LaTeX repositories
View .gitignore
## Core latex/pdflatex auxiliary files:
SoerenHenning /
Last active Jan 27, 2019
Load all photos from Absolventenfeier 2018, Informatik Uni Kiel. Just run it via `./ <password>`
function download {
wget$1/$2 -P $1 --password=$password --user=
function download-range {
for i in $(seq $2 $3);
SoerenHenning / escapenet-load-and-exporter.js
Last active Jul 4, 2017
Get rid of clicking "Load more results for export" on the Escapenet's result page. Just copy the following code snippet to your browser's JavaScript console. Credits to @EyMaddis
View escapenet-load-and-exporter.js
var searchInterval;
var clickForMe = () => {
button = $('#loadNext')
if (button.length) {
} else {
console.log('everything loaded')

TeeTime Configuration Builder

With the TeeTime configuration builder you can simply connect your stages in a short, type-safe, and fluent way.

How to use it

Typically, you create your configurations by instantiating all stages and connecting them via lines of connectPorts(...) calls.

public class MyConfiguration extends Configuration {
You can’t perform that action at this time.