changeset 507:fed668f5d44f

.bashrc
author Jeff Hammel <jhammel@mozilla.com>
date Sat, 31 Aug 2013 21:18:36 -0700
parents 2a5eee9418ba
children 9b69ce4e50a4
files .bashrc
diffstat 1 files changed, 0 insertions(+), 12 deletions(-) [+]
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