Skip to content

Instantly share code, notes, and snippets.


Isaac Joseph ijoseph

  • Affirm, Inc.
  • San Francisco, CA
View GitHub Profile
ijoseph / option_remappers.json
Created Nov 9, 2020
Option-G to Option-Command-G MacOS
View option_remappers.json
"title": "Remap Useless Option Symbol Keys",
"rules": [
"description": "Remap Option-G to Option-Command-G",
"manipulators": [
"type": "basic",
"from": {
"key_code": "g",
ijoseph /
Created Apr 5, 2020 — forked from tomsing1/
First steps with the Luigi workflow manager

First steps with the Luigi workflow manager

As an introduction into Luigi, I am following this tutorial with some modifications, e.g. installation using conda.

The problems and solutions described in the examples below have led to the development of sciluigi,

ijoseph / gist:01c926e18c443be03f54e797d0a5f0bf
Created Sep 4, 2018 — forked from philc/gist:e849b48e6c5f32592d62
A script to copy Chrome's search engine settings into Vimium's settings format
View gist:01c926e18c443be03f54e797d0a5f0bf
# This script lists user defined search engines in Chromium.
# It replaces {inputEncoding}, which appears in some search engine definitions, with
# UTF-8, {google:baseURL} with the Google URL, and omits other such tokens.
# Location of Chromium's 'Web Data' SQLite3 file
CHROMIUM_WEB_DATA="$HOME/.config/chromium/Default/Web Data"
# Location to create temporary copy of 'Web Data', since the database is locked while
ijoseph /
Created Mar 6, 2017
Convert Filename to Bash-Friendly Filename (with Dashes)
#dash escape filename (version 0.1: must be in current working dir)
filename=`basename $1 | tr "\n" " "`
# echo "filename is ${filename}"
escaped=`echo $1 | tr " " "-" |tr -d "," | tr "_" "-" | tr "(" "-" | tr ")" "-" | tr "+" "-" | perl -pe 's/\-\-\-/\-/g' | perl -pe 's/\-\-/\-/g'`
echo "filename is now $escaped"
mv "${1}" ${escaped}