Skip to content

Instantly share code, notes, and snippets.

View ijoseph's full-sized avatar
🐆

Isaac Joseph ijoseph

🐆
View GitHub Profile
@ijoseph
ijoseph / option_remappers.json
Created November 9, 2020 06:06
Option-G to Option-Command-G MacOS
{
"title": "Remap Useless Option Symbol Keys",
"rules": [
{
"description": "Remap Option-G to Option-Command-G",
"manipulators": [
{
"type": "basic",
"from": {
"key_code": "g",
@ijoseph
ijoseph / com.apple.universalaccess.plist.diff
Created May 23, 2022 17:55
Toggling "Flash the screen when an alert sound occurs" on and off result
16a17
> flashScreen = 0;
19c20
< selectedTab = 23;
---
> selectedTab = 2;
@ijoseph
ijoseph / luigi_first_steps.md
Created April 5, 2020 21:21 — forked from tomsing1/luigi_first_steps.md
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
ijoseph / gist:01c926e18c443be03f54e797d0a5f0bf
Created September 4, 2018 00:10 — forked from philc/gist:e849b48e6c5f32592d62
A script to copy Chrome's search engine settings into Vimium's settings format
#!/bin/sh
# 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
ijoseph / dash_escape_file.sh
Created March 6, 2017 04:32
Convert Filename to Bash-Friendly Filename (with Dashes)
#dash escape filename (version 0.1: must be in current working dir)
dashef(){
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}
}