# HG changeset patch
# User Jeff Hammel <jhammel@mozilla.com>
# Date 1378009116 25200
# Node ID fed668f5d44f2082f0d4960cf56110d71932c345
# Parent  2a5eee9418ba7f4a74c00d5c40c87f96bc273f06
.bashrc

diff -r 2a5eee9418ba -r fed668f5d44f .bashrc
--- a/.bashrc	Sat Aug 31 21:17:16 2013 -0700
+++ b/.bashrc	Sat Aug 31 21:18:36 2013 -0700
@@ -447,18 +447,6 @@
     cd -
 }
 
-hgrc() {
-# write an hgrc file
-# TODO: in the case you're in an `hg root`...what then?
-# - NOTE: /home/jhammel is an `hg root`, so be careful!
-# There should be a way to update $(hg root)/.hg/hgrc automatically
-# Likewise, git
-# Python script? .dotfile?
-ROOT="${1}"
-echo "[paths]"
-echo "default = ${ROOT}"
-echo "default-push = ssh://${ROOT#http*://}"
-}
 
 ### functions for web content