Skip to content

Instantly share code, notes, and snippets.

View gianpaj's full-sized avatar
🇺🇦

Gianfranco P gianpaj

🇺🇦
View GitHub Profile
@saetia
saetia / gist:1623487
Last active April 14, 2026 10:10
Clean Install – OS X 10.11 El Capitan

OS X Preferences


most of these require logout/restart to take effect

# Enable character repeat on keydown
defaults write -g ApplePressAndHoldEnabled -bool false

# Set a shorter Delay until key repeat
@tsabat
tsabat / zsh.md
Last active May 15, 2026 06:38
Getting oh-my-zsh to work in Ubuntu
@JackDanger
JackDanger / git-remove-history.sh
Created August 19, 2010 22:06
remove large binary files from git history
#!/bin/bash
set -o errexit
# Author: David Underhill
# Script to permanently delete files/folders from your git repository. To use
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
#
# retrieved from: http://dound.com/2009/04/git-forever-remove-files-or-folders-from-history/
#