Jack Davis jackd942

Prereq:

apt-get install zsh
apt-get install git-core

Getting zsh to work in ubuntu is weird, since sh does not understand the source command. So, you do this to install zsh

	// Desired unique index:
	// db.collection.ensureIndex({ firstField: 1, secondField: 1 }, { unique: true})

	db.collection.aggregate([
	{ $group: {
	_id: { firstField: "$firstField", secondField: "$secondField" },
	uniqueIds: { $addToSet: "$_id" },
	count: { $sum: 1 }
	}},
	{ $match: {

	#!/bin/bash
	# Sometimes you need to move your existing git repository
	# to a new remote repository (/new remote origin).
	# Here are a simple and quick steps that does exactly this.
	#
	# Let's assume we call "old repo" the repository you wish
	# to move, and "new repo" the one you wish to move to.
	#
	### Step 1. Make sure you have a local copy of all "old repo"
	### branches and tags.

	osascript -e 'tell application "iOS Simulator" to quit'
	osascript -e 'tell application "Simulator" to quit'
	xcrun simctl erase all

	git branch -m old_branch new_branch # Rename branch locally
	git push origin :old_branch # Delete the old branch
	git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote