StefRe

import java.io.File;
import java.nio.file.Path;
import java.nio.file.Paths;

public class FileDemo {
   public static void main(String[] args) throws Exception {

      if( args.length != 1 ){
          System.err.println( "Usage: FileDemo file" );
          System.exit(1);

StefRe

import java.util.*;

public class DstAndLeapSecondsTest{
	
	public static void main(String[] args){
		
		Calendar start, old, curr;
		long diff;
		
		start = Calendar.getInstance();

StefRe

import java.util.*;
import java.text.SimpleDateFormat;
import java.util.Locale;

public class DstAndLeapSecondsTest{
	
	public static void main(String[] args){
		
		Calendar start, old, curr;
		long diff;

StefRe

// ==UserScript==
// @name        Google Books SLUB Search
// @namespace   gist.github.com/StefRe
// @description Search the catalog of SLUB for the title
// @include     https://books.google.de/books*
// @version     1.1
// @grant       none
// ==/UserScript==

var link = document.createElement('a');

StefRe

// ==UserScript==
// @name         Google books images
// @namespace    gist.github.com/StefRe
// @version      1.2
// @description  Insert button to auto updating page with links to read pages for download
// @include      https://books.google.*/books*
// @grant        none
// ==/UserScript==

var imgsrcL, imgWindow, viewport, link;

StefRe

// Russisch auf deutscher Tastatur phonetisch

partial alphanumeric_keys
xkb_symbols "rud" {

    include "de(basic)"
 
    name[Group1]= "Russian (Germany, alternative phonetic)";

key.type[group1]="FOUR_LEVEL_ALPHABETIC";

StefRe

// ==UserScript==
// @name tumbview enable context menu on big image
// @namespace Violentmonkey Scripts
// @match *://tumbview.com/*/plus/*
// @grant    GM_addStyle
// ==/UserScript==

GM_addStyle ( `
    #bigprev {
        width: 20%; !important;

StefRe

// ==UserScript==
// @name           Pretty print stackoverflow questions and answers
// @namespace      gist.github.com/StefRe
// @description    Add links to stackprinter for SO questions and answers
// @include        https://stackoverflow.com/questions/*
// @include        https://serverfault.com/questions/*
// @include        https://superuser.com/questions/*
// @include        https://stackapps.com/questions/*
// @include        https://askubuntu.com/questions/*
// @include        https://mathoverflow.net/questions/*

StefRe

import com.fasterxml.jackson.core.JsonProcessingException;

import com.fasterxml.jackson.databind.ObjectMapper;
import com.fasterxml.jackson.databind.module.SimpleModule;
import com.fasterxml.jackson.datatype.joda.JodaModule;
import com.fasterxml.jackson.datatype.joda.cfg.JacksonJodaDateFormat;
import com.fasterxml.jackson.datatype.joda.ser.LocalDateSerializer;

import org.joda.time.format.DateTimeFormat;
import org.joda.time.LocalDate;

StefRe

import pytest

# ----- general -----
@pytest.fixture(scope="function",
                params=['none', 'setup', 'call', 'teardown', 'setup+call',
                        'setup+teardown', 'call+teardown', 'setup+call+teardown'])
def resource(request):
    param = request.param
    print('setup')
    if 'setup' in param: