etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 0ff2d0c7f0d3293e99e88e1456fa9881a12e209d..1f3a707398b342ac4baaf73fe071be270e9d4d19 100644 (file)
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -242,29 +242,29 @@ echo -e $output | column -t -s ', '
 )
 }
 
-git_clone_and_clean() {
-  local usage="git_clean_repo REPO"
-  local repo=${1:-?$usage}
-  local tmp=/tmp/git_clone_and_clean.$$
-(
-  rm -rf "$tmp"
-  mkdir -p "$tmp"
-  cd "$tmp" || return
-  git_clone $repo . || return
-  git_track_branches || return
-
-  echo "Cleaning the files"
-  git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all || return
-
-  echo "Reclaim space"
-  rm -rf .git/refs/original/ || return
-  git reflog expire --expire=now --all || return
-  git gc --prune=now || return
-  git gc --aggressive --prune=now || return
-
-  echo "Push the cleaned repository"
-  git push origin --force --all || return
-  git push origin --force --tags || return
-)
-  rm -rf "$tmp"
-}
+# NB 12.01.18 git_clone_and_clean() {
+# NB 12.01.18   local usage="git_clean_repo REPO"
+# NB 12.01.18   local repo=${1:-?$usage}
+# NB 12.01.18   local tmp=/tmp/git_clone_and_clean.$$
+# NB 12.01.18 (
+# NB 12.01.18   rm -rf "$tmp"
+# NB 12.01.18   mkdir -p "$tmp"
+# NB 12.01.18   cd "$tmp" || return
+# NB 12.01.18   git_clone $repo . || return
+# NB 12.01.18   git_track_branches || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Cleaning the files"
+# NB 12.01.18   git filter-branch --tag-name-filter cat --index-filter 'git rm -r --cached --ignore-unmatch filename' --prune-empty -f -- --all || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Reclaim space"
+# NB 12.01.18   rm -rf .git/refs/original/ || return
+# NB 12.01.18   git reflog expire --expire=now --all || return
+# NB 12.01.18   git gc --prune=now || return
+# NB 12.01.18   git gc --aggressive --prune=now || return
+# NB 12.01.18 
+# NB 12.01.18   echo "Push the cleaned repository"
+# NB 12.01.18   git push origin --force --all || return
+# NB 12.01.18   git push origin --force --tags || return
+# NB 12.01.18 )
+# NB 12.01.18   rm -rf "$tmp"
+# NB 12.01.18 }