emiller

#!/bin/bash
#
# git-mv-with-history -- move/rename file or folder, with history.
#
# Moving a file in git doesn't track history, so the purpose of this
# utility is best explained from the kernel wiki:
#
#   Git has a rename command git mv, but that is just for convenience.
#   The effect is indistinguishable from removing the file and adding another
#   with different name and the same content.

brandonb927

#!/bin/sh

###
# SOME COMMANDS WILL NOT WORK ON macOS (Sierra or newer)
# For Sierra or newer, see https://github.com/mathiasbynens/dotfiles/blob/master/.macos
###

# Alot of these configs have been taken from the various places
# on the web, most from here
# https://github.com/mathiasbynens/dotfiles/blob/5b3c8418ed42d93af2e647dc9d122f25cc034871/.osx

kuenishi

BEAM

assemble

$ erlc -S test.erl

blackball

/**
 * Fast non-maximum suppression in C, port from  
 * http://quantombone.blogspot.com/2011/08/blazing-fast-nmsm-from-exemplar-svm.html
 *
 * @blackball ([email protected])
 */

#include <stdio.h>
#include <stdlib.h>
#include <limits.h>

nvk

### Instructions source http://tumblr.intranation.com/post/766290743/using-dropbox-git-repository ####

-- make empty repo on dropbox:
	cd ~/Dropbox/RipeApps/Git
	mkdir -p newname.git
	cd !$
	git --bare init

-- push your junk into it
	cd ~/Projects/myrepo