Skip to content

Instantly share code, notes, and snippets.

@dscho
dscho / azure-pipelines-hacks.user.js
Last active Jan 8, 2020
A TamperMonkey script adding useful tweaks to the Azure Pipelines UI
View azure-pipelines-hacks.user.js
// ==UserScript==
// @name Azure Pipelines Hacks
// @namespace http://tampermonkey.net/
// @version 0.5
// @description Miscellaneous hacks for Azure Pipelines
// @source https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/
// @updateURL https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/raw/azure-pipelines-hacks.user.js
// @downloadURL https://gist.github.com/dscho/cc56e37aabc7b6fef0d9e59a37deb3ab/raw/azure-pipelines-hacks.user.js
// @author dscho
// @match https://dev.azure.com/*/_build*
View t6500-gc.out
Initialized empty Git repository in /home/virtualbox/git/git-for-windows/t/trash directory.t6500-gc/.git/
expecting success of 6500.1 'setup':
# do not let the amount of physical memory affects gc
# behavior, make sure we always pack everything to one pack by
# default
git config gc.bigPackThreshold 2g
+ git config gc.bigPackThreshold 2g
ok 1 - setup
View qr-for-instant.io.user.js
// ==UserScript==
// @name Add QR to instant.io
// @namespace http://tampermonkey.net/
// @version 0.2
// @description Adds a QR code ready for scanning next to the URL once a file is seeded.
// @source https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130
// @updateURL https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130/raw/qr-for-instant.io.user.js
// @downloadURL https://gist.github.com/dscho/25479c59fb01e64db97097173d51b130/raw/qr-for-instant.io.user.js
// @author dscho
// @match https://instant.io/
@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
You can’t perform that action at this time.