Skip to content

Instantly share code, notes, and snippets.

Johannes Schindelin dscho

Block or report user

Report or block dscho

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
@dscho
dscho / git.git-helper.user.js
Last active Jul 10, 2019
Assorted helpful tweaks for git.git
View git.git-helper.user.js
// ==UserScript==
// @name Assorted helpful tweaks for git.git
// @version 0.1
// @description Helps maintain git.git PRs and commit comments
// @match https://github.com/git/git/*
// @source https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266
// @updateURL https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266/raw/git.git-helper.user.js
// @downloadURL https://gist.github.com/dscho/536ffb491d964dd444f0eb6d91f87266/raw/git.git-helper.user.js
// @run-at document-end
// @connect api.github.com
@dscho
dscho / hide-gitgitgadget-git-merge-button.user.js
Last active Apr 14, 2019 — forked from aripollak/hide-github-merge.user.js
Userscript to disable the Merge button inside GitGitGadget's Git pull requests
View hide-gitgitgadget-git-merge-button.user.js
// ==UserScript==
// @name Assorted helpful tweaks for GitGitGadget's Git fork
// @version 0.12
// @description Removes the merge button on the GitHub `gitgitgadget/git` project, as PRs there are never to be merged. Adds more buttons.
// @source https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed
// @match https://github.com/gitgitgadget/git/pull/*
// @updateURL https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @downloadURL https://gist.github.com/dscho/3ea2406669ae4097ca58971b41f9c9ed/raw/hide-gitgitgadget-git-merge-button.user.js
// @run-at document-end
// @grant GM_xmlhttpRequest
View Fiji_Fractal.ijm
dim = 256; /* width / height */
frames = 20;
red = 101;
green = 164;
blue = 227;
zoomIntoX = 4;
zoomIntoY = 4;
View jeopardy.bsh
new imagej.plugins.tools.TunePlayer().play("t150 l4 o3 c f c o2 f o3 c f l2 c l4 c f c f l3 a l8 g f e d d- l4 o3 c f c o2 f o3 c f l2 c l3 f l8 d l4 c o2 b- a g f");
View gist:7551374
http://loci.wisc.edu/software/interfacing-non-java-code
@dscho
dscho / unique-jenkins-nickname.sh
Created Jul 26, 2013
This script finds unique, new nicknames for Jenkins to be used in commit messages.
View unique-jenkins-nickname.sh
#!/bin/sh
# Finds a unique nick name for Jenkins in the current Git history
# List from http://www.zelo.com/firstnames/alphabet/namesj.asp
names='
jaantje
jaap
jabari
jabbar
View gist:5483376
diff --git a/eclipse-bytecode.txt b/oracle-bytecode.txt
index 287569f..c8af853 100644
--- a/eclipse-bytecode.txt
+++ b/oracle-bytecode.txt
@@ -3,41 +3,41 @@ public class net.imglib2.ops.sandbox.Expressions extends java.lang.Object{
public net.imglib2.ops.sandbox.Expressions();
Code:
0: aload_0
- 1: invokespecial #8; //Method java/lang/Object."<init>":()V
+ 1: invokespecial #1; //Method java/lang/Object."<init>":()V
View gist:5286408
;; Command_Launcher.clj starts here
(import '(java.awt Color)
'(java.awt.event TextListener)
'(ij.gui GenericDialog)
'(ij IJ)
'(ij Menus))
(let [commands (keys (. Menus getCommands))
gd (GenericDialog. "Command Launcher")]
(.addStringField gd "Command: " "")
View gist:5161715
imp = IJ.createImage("Example", "8-bit", 256, 256, 10);
imp.show();
Thread.sleep(1000);
imp.getStack().deleteSlice(1);
imp.updateAndDraw();
imp.getWindow().repaint();
You can’t perform that action at this time.