ghc: remove cabal; erc: add carp checker

2018-02-28 16:20:02 +01:00
parent 068b802807
commit 6098ba11cd
4 changed files with 8 additions and 196 deletions
--- a/1
+++ b/1
@@ -182,7 +182,6 @@ pinfo(){

 save_dotfiles(){
    local DOTPATH=~/Documents/Code/Github/.dotfiles/
-    cp -r ~/.cabal/config ${DOTPATH}cabal/
    cp -r ~/.scripts ${DOTPATH}
    cp ~/.bash_profile ${DOTPATH}bash_profile
    cp ~/.cardinalrc ${DOTPATH}cardinalrc