Skip to content

Instantly share code, notes, and snippets.

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");
dim = 256; /* width / height */
frames = 20;
red = 101;
green = 164;
blue = 227;
zoomIntoX = 4;
zoomIntoY = 4;
// ==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 / t6500-gc.out
Last active November 26, 2019 13:40
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
@dscho
dscho / azure-pipelines-hacks.user.js
Last active January 8, 2020 10:36
A TamperMonkey script adding useful tweaks to the Azure Pipelines UI
// ==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*
@dscho
dscho / workflow_dispatch-from-blob.user.js
Last active October 11, 2021 12:28
Trigger GitHub workflow_dispatch from the blob view of the workflow file
// ==UserScript==
// @name Trigger workflow_dispatch from the blob view of the workflow file
// @source https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad
// @updateURL https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad/raw/workflow_dispatch-from-blob.user.js
// @downloadURL https://gist.github.com/dscho/585172971f0989ed340a563bbacc6cad/raw/workflow_dispatch-from-blob.user.js
// @namespace http://tampermonkey.net/
// @version 0.1
// @description Trigger a workflow from the blob view of the workflow file
// @author Johannes Schindelin
// @match https://github.com/*/blob/*/.github/workflows/*.yml
@dscho
dscho / gist:003a0e112058e5794b5e08e84d34092d
Last active October 22, 2021 09:45
Let's have public Git chalk talks (topic of the Git Contributor Summit 2021)
This session was led by Emily Shaffer. Supporting cast: Ævar Arnfjörð
Bjarmason, brian m. carlson, CB Bailey, and Junio Hamano.
Notes:
1. What’s a public chalk talk?
1. At Google, once a week, the team meets up with no particular topic in
mind, or a couple topics, very informal
#include <stdio.h>
#include <stdlib.h>
#include <windows.h>
#include <tlhelp32.h>
static int get_process_tree(DWORD *list, int len, int max_len)
{
HANDLE snapshot = CreateToolhelp32Snapshot(TH32CS_SNAPPROCESS, 0);
PROCESSENTRY32 entry;
int i;
@dscho
dscho / hide-gitgitgadget-git-merge-button.user.js
Last active September 28, 2022 06:49
Userscript to disable the Merge button inside GitGitGadget's Git pull requests
// ==UserScript==
// @name Assorted helpful tweaks for GitGitGadget's Git fork
// @version 0.14
// @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
@dscho
dscho / git.git-helper.user.js
Last active March 7, 2023 12:39
Assorted helpful tweaks for git.git
// ==UserScript==
// @name Assorted helpful tweaks for git.git
// @version 0.5
// @description Helps maintain git.git PRs
// @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