Skip to content

Instantly share code, notes, and snippets.

/**
* Created by Aaron Sarazan on 8/26/13
* Copyright (c) 2013 Level, Inc.
*
* .-------------------------------------------------------------.
* '------..-------------..----------..----------..----------..--.|
* | \\ || || || || ||
* | \\ || || || || ||
* | .. || _ _ || _ _ || _ _ || _ _|| ||
* beep beep | || || // // || // // ||// // || // //|| /||
// Settings
{
"color_scheme": "Packages/Color Scheme - Default/Zenburnesque.tmTheme",
"font_size": 17,
"tab_size": 2,
"translate_tabs_to_spaces": true
}
// Keymap
[
alias srcbash="source ~/.bash_profile"
alias cd..='cd ..'
alias grepc='grep -C 1'
alias g='git'
alias push='g push'
alias pp='g pull'
alias gc='g commit -am'
alias go='g checkout'
alias gs='g status'
{
"Working Directory" : "\/Users\/vjr397",
"Prompt Before Closing 2" : false,
"Selected Text Color" : {
"Green Component" : 0.9476005,
"Blue Component" : 0.9476005,
"Red Component" : 0.9476005
},
"Rows" : 18,
"Ansi 11 Color" : {
@treelzebub
treelzebub / setup-github-key.sh
Last active August 21, 2022 22:39
[macOS/Debian] Generate new public key (or use existing) and copy to clipboard, to paste into GitHub
#!/bin/bash
# This is a simple script that sets up a public SSH key and copies it to the
# clipboard, so you can paste it into your GitHub account here:
# https://github.com/settings/keys
#
# It only handles the default public key name, id_rsa. Deal with it :D
# Check for existing public key
KEY=`find ~/.ssh -type f -name 'id_rsa.pub'`
@treelzebub
treelzebub / clone-all-repos.sh
Created June 18, 2017 22:14
A script that clones all (public) repos for a github user.
#!/bin/bash
# Clone all public github repos for the given user.
# Assumes SSH key is set up, and that pwd is the directory you want everything cloned in.
#
# Usage:
# $ ./clone-all-repos.sh [github-user-name]
if [ -z $1 ]; then
printf "A github username is required. Example: $ ./clone-all-repos.sh treelzebub\\n\\n"