From 55979a4271cea28dc3d577e708dfb145d5b6cc4c Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Tue, 18 Jan 2011 21:50:50 -0600 Subject: clean up my github interaction stuff, and add some more --- bashrc | 7 ------- 1 file changed, 7 deletions(-) (limited to 'bashrc') diff --git a/bashrc b/bashrc index 27e597a..e2a4c58 100644 --- a/bashrc +++ b/bashrc @@ -150,13 +150,6 @@ function pdfcat { shift gs -q -sPAPERSIZE=letter -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=$out $* } -function github-clone { - if [[ -z $2 ]]; then - git clone git@github.com:$USER/$1.git - else - git clone git://github.com/$1/$2.git - fi -} function mod { yes | module-setup $1 } -- cgit v1.2.3-54-g00ecf