Managed by git now.

.bashrc

@@ -131,21 +131,6 @@ clean()
         -print0 | xargs -0 rm -vfr
 }
 
-dotfiles()
-{
-    local CLONE="$HOME/.config/dotfiles-repo/"
-    mkdir -p ~/.config/
-    if [ -d "$CLONE" ]
-    then
-        git -C "$CLONE" pull --ff-only
-    else
-        git clone -q https://github.com/JulienPalard/dotfiles.git "$CLONE"
-    fi
-    "$CLONE"/interactive_copy.py "$CLONE" ~/ --exclude README.md .git interactive_copy.py install.sh __pycache__
-    rm -f "$HOME/.git-prompt.sh"
-    wget -q -O "$HOME/.git-prompt.sh" https://raw.githubusercontent.com/git/git/master/contrib/completion/git-prompt.sh
-}
-
 wyz()
 {
     curl https://wyz.fr/ -F"${1##*.}=@$1"