Cleaned repo

2015-04-05 17:55:38 +02:00
parent ae5a30a4a4
commit ef285883d6
2441 changed files with 28 additions and 40267 deletions
--- a/2
+++ b/2
@@ -188,7 +188,7 @@ pinfo(){
 save_dotfiles(){
    local DOTPATH=~/Documents/Code/Github/.dotfiles/
    cp ~/.bash_profile ${DOTPATH}bash_profile
-    cp -r ~/.cabal ${DOTPATH}cabal
+    cp -r ~/.cabal/config ${DOTPATH}cabal/config
    cp ~/dev-tmux ${DOTPATH}dev-tmux
    cp ~/.ghci ${DOTPATH}ghci
    cp ~/.gitignore ${DOTPATH}gitignore