added cardinal

2016-05-19 11:53:53 +02:00
parent 4f1fcff597
commit 7b565a13bd
3 changed files with 9 additions and 2 deletions
--- a/1
+++ b/1
@@ -213,6 +213,7 @@ save_dotfiles(){
    cp -r ~/.scripts ${DOTPATH}
    cp -r ~/.vim ${DOTPATH}
    cp ~/.bash_profile ${DOTPATH}bash_profile
+    cp ~/.cardinalrc ${DOTPATH}cardinalrc
    cp ~/.ghci ${DOTPATH}ghci
    cp ~/.gitconfig ${DOTPATH}gitconfig
    cp ~/.gitignore ${DOTPATH}gitignore