diff .bashrc @ 507:fed668f5d44f

.bashrc
author Jeff Hammel <jhammel@mozilla.com>
date Sat, 31 Aug 2013 21:18:36 -0700
parents f71f6ffa731a
children 44f9b67bb56f
line wrap: on
line diff
--- 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