From d300476f6586e0fd46a57519b57df786ddcd1ddd Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Sun, 3 Dec 2023 09:03:02 +0100
Subject: [PATCH] Managed by git now.

---
 .bashrc | 15 ---------------
 1 file changed, 15 deletions(-)

diff --git a/.bashrc b/.bashrc
index 611a9d2..a08bcec 100644
--- a/.bashrc
+++ b/.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"