Martin Richard Martiusweb
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <signal.h> | |
| #include <stdio.h> | |
| #include <stdlib.h> | |
| #include <unistd.h> | |
| #include <string.h> | |
| #include <errno.h> | |
| /** | |
| * assuming grand parent, parent and child: | |
| * |
Martiusweb
/ commit-msg
Created
January 11, 2017 10:20
git hook: Grep for a JIRA ticket ID in a commit message
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| gtest "" = "$(grep '[A-Z]\+-[0-9]\+' "$1")" && { | |
| echo >&2 "Sorry, I can't find a JIRA ticket ID in this commit message" | |
| exit 1 | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [alias] | |
| lg1 = log --graph --all --format=format:'%C(bold blue)%h%C(reset) - %C(bold green)(%ar)%C(reset) %C(white)%s%C(reset) %C(bold white)— %an%C(reset)%C(bold yellow)%d%C(reset)' --abbrev-commit --date=relative | |
| lg2 = log --graph --all --format=format:'%C(bold blue)%h%C(reset) - %C(bold cyan)%aD%C(reset) %C(bold green)(%ar)%C(reset)%C(bold yellow)%d%C(reset)%n'' %C(white)%s%C(reset) %C(bold white)— %an%C(reset)' --abbrev-commit | |
| lg = !"git lg1" | |
| co = checkout | |
| ci = commit | |
| br = branch -a -vv | |
| st = status | |
| [core] | |
| editor = vim |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # usage rectoverso file1.pdf file2.pdf | |
| # require "stapler" (pip2 install stapler) | |
| file1=$1 | |
| file2=$2 | |
| stapler split $file1 | |
| stapler split $file2 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # S: Step | |
| # O: Operation | |
| # D: Debug | |
| # C: Command (and its output) | |
| log_step() { | |
| LOG_PREPREND=$@ | |
| log "S $@" | |
| } |
Martiusweb
/ play-nice-sound-when-bookmarking.patch
Created
June 13, 2014 16:43
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff -r 18c21532848a browser/base/content/browser-places.js | |
| --- a/browser/base/content/browser-places.js Wed Jun 11 09:58:02 2014 +0100 | |
| +++ b/browser/base/content/browser-places.js Fri Jun 13 18:40:22 2014 +0200 | |
| @@ -1458,6 +1458,9 @@ | |
| [translateX, translateY] = getCenteringTransformForRects(dropmarkerNotifierRect, dropmarkerRect); | |
| let dropmarkerTransform = "translate(" + translateX + ", " + translateY + ")"; | |
| + // Play a Mario 1Up sound. The best ! | |
| + new Audio(this._mario_1up).play(); |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env stap | |
| /* Usage: | |
| * monitor_io.stp (data|metadata|all) [with_lookup] | |
| * | |
| * - data: monitor reads/writes (currently, reads only) | |
| * - metadata: monitor metadata reads/writes | |
| * - all: monitor both | |
| */ | |
| function is_block_device:long(dentry:long) { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="utf-8"> | |
| <!-- | |
| @author Martin Richard <martius@martiusweb.net> | |
| @license Licensed under WTFPL | |
| --> | |
| <script> | |
| var dropDown_show = function(elt) { |